Definition:Zero (Category)
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
- Definition:Empty Set
- Definition:Empty Class (Class Theory)
- Definition:One (Category)
- Definition:Two (Category)
- Definition:Three (Category)
Sources
- 2010: Steve Awodey: Category Theory (2nd ed.) ... (previous) ... (next): $\S 1.4.5$