定義

ある圏において、2つの射

e: A\to B

s: B\to A

が、e\circ s =\mathrm{id}_Bを満たすとき、

eを分裂エピ射

sを分裂モノ射

と言う

このとき、以下のような表現をする

sはeの切断

eはsのレトラクション

BはAのレトラクト

『圏論入門』 p.168