# π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.