Kategorie/Initiales Objekt/Definition

Aus Wikiversity
Initiales Objekt

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