Definition:Terminal Object
Jump to navigation
Jump to search
Definition
Let $\mathbf C$ be a metacategory.
A terminal object of $\mathbf C$ is an object $1 \in \mathbf C_0$ of $\mathbf C$ such that:
- For all $C \in \mathbf C_0$, there is a unique morphism $C \to 1$.
Also known as
A terminal object is also known as a final object.
Also see
Sources
- 2010: Steve Awodey: Category Theory (2nd ed.) ... (previous) ... (next): $\S 2.2$: Definition $2.9$