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