Definition 4.12.1. Let $\mathcal{C}$ be a category.

An object $x$ of the category $\mathcal{C}$ is called an

*initial*object if for every object $y$ of $\mathcal{C}$ there is exactly one morphism $x \to y$.An object $x$ of the category $\mathcal{C}$ is called a

*final*object if for every object $y$ of $\mathcal{C}$ there is exactly one morphism $y \to x$.

## Comments (0)