Abelsche Kategorie/Genügend viele injektive Objekte/Definition
Erscheinungsbild
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.