Lemma 4.11. Assuming that:

$C$ a category

Then specifying an initial object of

C

is equivalent to specifying a limit for

1_{C} : C \to C

.