MDLUL/genügend viele injektive Objekte

Start=genügend viele injektive Objekte

MDLUL/genügend viele injektive Objekte

Ziel=Abelsche Kategorie/Genügend viele injektive Objekte/Definition