Abelsche Kategorie/Genügend viele injektive Objekte/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Genügend viele injektive Objekte

Man sagt, dass eine abelsche Kategorie genügend viele injektive Objekte enthält, wenn es zu jedem Objekt ein injektives Objekt und einen Monomorphismus gibt.