Abelsche Kategorie/Injektives Objekt/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Injektives Objekt

Ein Objekt in einer abelschen Kategorie heißt injektives Objekt, wenn es für jeden Monomorphismus und jeden Morphismus in einen Morphismus mit gibt.