Abelsche Kategorie/Genügend Injektive/Rechtsabgeleiteter Funktor/Azyklisches Objekt/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Azyklisches Objekt

Es seien und abelsche Kategorien und habe genügend viele injektive Objekte. Es sei ein kovarianter additiver linksexakter Funktor. Ein Objekt aus heißt azyklisch (bezüglich ), wenn für jedes für die rechtsabgeleiteten Funktoren die Beziehung gilt.