Abelsche Kategorie/Genügend Injektive/Rechtsabgeleiteter Funktor/Injektives Objekt/Fakt
Erscheinungsbild
Es seien und abelsche Kategorien und habe genügend viele injektive Objekte. Es sei ein kovarianter additiver linksexakter Funktor.
Dann gilt für jedes injektive Objekt aus und für die rechtsabgeleiteten Funktoren .