📝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