Category Theory

        <p>(Categorical Algebra)<br/>

The general approach in category theory is, not to understand something by building it up from its component parts, but to model its <b>external </b>properties.

So we can find mappings between algebras that preserve their structure: linear transforms, group morphisms, etc.

There are two approches to working with algebras in category theory, either,</p> <ul> <li>Based on monads</li> <li>Based on Lawvere theory</li> </ul>