Definition:Zero (Category)

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


 * $\qquad$

with:


 * No objects; and consequently
 * No morphisms.