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:Empty Set
 * Definition:Empty Class (Class Theory)
 * Definition:One (Category)
 * Definition:Two (Category)
 * Definition:Three (Category)