Category Theory
Category
A category is a collection of objects that are linked by arrows.
Morphisms
Universal Construction
Functor
A functor is a map between categories.
Definition
Let C and D be categories. A functor F from C to D is a mapping that:
* associates to each object \(X\) in C an