
## 4.12 Initial and final objects

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

1. 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$.

2. 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$.

In the category of sets the empty set $\emptyset$ is an initial object, and in fact the only initial object. Also, any singleton, i.e., a set with one element, is a final object (so it is not unique).

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).