Category Theory

The term for a very abstract (often too abstract for most) theory in mathematics relating several fields through some common properties. See our Category Theory 101 overview. Category theory is very useful in formalizing types and functions/functors in functional programming.

Pages in this topic: Category Theory 101   Morphism  

Also linked from: Aldor   Algebra and coalgebra   Bisimulation   Charity   Congruence   Diagram   Duality   Initiality and finality   Monad   Relational   Semantics   TUNES vs the WWW