C を圏とする。
f: X → Y を C における射とする。
fg = 1 となる g：Y → X があるとき f を引き込み（過去スレpart4の296）といった。