Abelsche Kategorie/Genügend Injektive/Rechtsabgeleiteter Funktor/Injektives Objekt/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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 .

Zum Beweis, Alternativen Beweis erstellen