切断
section
断面
、
選択関数
、
セクション
などとも言う
逆射
の定義の片側だけを満たすもの
切断
を持つ射は、
エピ射
である
定義
射
$ f:X\to Y
の切断とは、射
$ s:Y\to X
のことで、
$ f\circ s =1_Y
を満たすもののこと
線形切断
https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1897-13.pdf
https://en.wikipedia.org/wiki/Section_(category_theory)