f: X → Y を圏 C における射とする。
射 g: Y → X で gf = 1_X となるものがあるとき
g を f の引き込み(retraction)と言った（代数的整数論017の346）。