📝Cat (category)

top

§ Category Theory

Cat is a category of Functors.

  • Objects are categories

  • Morphisms are functors

  • Composition: functors consist of functions and functions compose, so we can define a composition of functors.

  • Identity morphism: identity functor is trivial.

It’s a category of small categories.

Backlinks