Abelsche Kategorie/Injektives Objekt/Definition

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.