Замкнуто модельное

[posic]

Пусть A, B, X, Y — четыре объекта абелевой категории, A→B — инъективный морфизм с коядром C и X→Y — сюръективный морфизм с ядром K. Тогда для любых морфизмов A→X и B→Y, образующих коммутативный квадрат с двумя ранее упомянутыми морфизмами, все препятствия к построению морфизма B→X, образующего два коммутативных треугольника с четырьмя заданными морфизмами, лежат в группе Ext¹(C,K).