The Empty Category

The empty category is also known as $0$. It contains no objects and no morphisms.

It is the initial object in Cat, the category of all small categories.

Reference

• Video Series: Category Theory