Sectionとretraction
動機
Isomorphismの要件を分割する。
( は成立しない)
Section
Left-inverseを持つmorphismのこと。
Retraction
Right-inverseを持つmorphismのこと。Split epimorphismともいう。
命題
Isomorphismの要件を分割する。
( は成立しない)
Left-inverseを持つmorphismのこと。
Right-inverseを持つmorphismのこと。Split epimorphismともいう。