Greatest Element is Terminal Object
Jump to navigation
Jump to search
Theorem
Let $\mathbf P$ be an order category.
Let $p$ be the greatest element of the objects $\mathbf P_0$ of $\mathbf P$, considered as a ordered set.
Then $p$ is a terminal object of $\mathbf P$.
Proof
Since $p$ is the greatest element of $\mathbf P_0$, we have:
- $\forall q \in \mathbf P_0: q \le p$
that is, for every object $q$ of $\mathbf P$ there is a unique morphism $q \to p$.
That is, $p$ is terminal.
$\blacksquare$
Sources
- 2010: Steve Awodey: Category Theory (2nd ed.) ... (previous) ... (next): $\S 2.2$: Example $2.11$: $5$