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.