Kategorie/Initiales Objekt/Definition

Initiales Objekt

Ein Objekt ${}I$ in einer Kategorie ${}{\mathcal {C}}$ heißt initiales Objekt, wenn für jedes Objekt ${}M$ die Morphismenmenge ${}\operatorname {Mor} {\left(I,M\right)}$ einelementig ist.