# 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.