De la página 56 de Categorías para el matemático que trabaja :
Definición. Si $S:D\rightarrow C$ es un functor y $c$ y objeto de $C$ , una flecha universal ... $u: c \rightarrow Sr$ es universal desde $c$ a $S$ cuando la pareja $\langle r, u \rangle$ es un objeto inicial de la categoría coma $(c \downarrow S)$ cuyos objetos son las flechas $c \rightarrow Sd$ . Como con cualquier objeto inicial, se deduce que $\langle r, u \rangle$ es único hasta el isomorfismo en $(c \downarrow S)$ , en particular, el objeto $r$ de $D$ es único hasta el isomorfismo en $D$ .
Pregunta: En el libro de texto, esta parte en negrita se afirma sin argumento. ¿Por qué es cierto?
