Kategorie/Initiales Objekt/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Initiales Objekt

Ein Objekt in einer Kategorie heißt initiales Objekt, wenn für jedes Objekt die Morphismenmenge einelementig ist.