Category Theory — Functors & Natural Transformations
Objects, morphisms, functors, and the commutative diagrams that connect them
Categories
Functor F: C → D
Natural Transformation
Composition Law
Commuting Diagram