Abelsche Kategorie/Genügend viele injektive Objekte/Definition

Genügend viele injektive Objekte

Man sagt, dass eine abelsche Kategorie ${}{\mathcal {A}}$ genügend viele injektive Objekte enthält, wenn es zu jedem Objekt ${}M\in {\mathcal {A}}$ ein injektives Objekt ${}I$ und einen Monomorphismus ${}M\rightarrow I$ gibt.