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

Beweis

Dies ergibt sich unmittelbar, da wir mit der injektiven Auflösung

$I_{0}=I\longrightarrow 0\longrightarrow 0\longrightarrow \ldots$

arbeiten können.

Zur bewiesenen Aussage