📝Cat (category)

§ 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.


Want to receive my 🖋 posts as I publish them?