Kategorie/Initiales Objekt/Definition

Initiales Objekt

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