A $0$-category is a poset.1
- 1Motivation: A $0$-category is precisely a category enriched in the poset of $\webleft (-1\webright )$-categories.
3.2.3 $0$-Categories
A $0$-groupoid is a $0$-category in which every morphism is invertible.1
- 1That is, a set.
