Kategorie/Finales Objekt/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Finales Objekt

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