断面、選択関数、セクションなどとも言う

逆射の定義の片側だけを満たすもの

切断を持つ射は、エピ射である

定義

射f:X\to Yの切断とは、射s:Y\to Xのことで、

f\circ s =1_Yを満たすもののこと