Definition:One (Category)

From ProofWiki
Jump to navigation Jump to search

Definition

The category one $\mathbf 1$, is the category with:

Objects:         One object: $*$
Morphisms: One morphism: the identity morphism $\operatorname{id}_*$.


Also known as

The category one is also known as the terminal category or, ambiguously, trivial category.


Also see


Sources