Terminal Object as Limit

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\mathbf C$ be a metacategory.

Let $\mathbf C$ have a terminal object $1$.


Then $1$ is the limit of the unique diagram $D: \mathbf 0 \to \mathbf C$, where $\mathbf 0$ is the zero category.


Proof



Sources