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