Start=injektive Auflösung (abelsche Kategorie)
Ziel=Abelsche Kategorie/Injektive Auflösung/Definition
