Definition:Zero (Category)

Definition
The category $\mathbf 0$, zero, is the empty category:


 * $\qquad$

with:
 * No objects

and consequently:
 * No morphisms.

Also known as
This is also known as the empty category.

Also see

 * Definition:Trivial Category
 * Definition:Two (Category)
 * Definition:Three (Category)