Definition:Zero (Category)

From ProofWiki
Jump to navigation Jump to search

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


Sources