命題（>>309の双対）
C をアーベル圏（代数的整数論019の533）とする。
C の射 f：X → Y が引き込み（>>296）であるためには
f が全射で (f, Y) が X の直積因子（>>352）であることが必要十分である。

証明
>>309の双対である。