category theory 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