# ๐Cat (category)

**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

- ๐ ยง Category Theory