分裂
定義
ある圏において、2つの射
$ e: A\to B
$ s: B\to A
が、
$ e\circ s =\mathrm{id}_B
を満たすとき、
$ e
を
分裂エピ射
$ s
を
分裂モノ射
と言う
このとき、以下のような表現をする
$ s
は
$ e
の
切断
$ e
は
$ s
の
レトラクション
$ B
は
$ A
の
レトラクト
分裂エピ射
分裂モノ射
レトラクション
レトラクト
https://en.wikipedia.org/wiki/Retract_(group_theory)
https://ja.wikipedia.org/wiki/レトラクト_(位相幾何学)
『圏論入門』
p.168
/dragoon8192-main/分裂