查看“︁收缩、截面”︁的源代码

{{InfoBox
|name=收缩
|eng_name=retraction
}}
{{InfoBox
|name=截面
|eng_name=section
}}
{{非标准翻译}}
合成为[[单位态射]]的一对[[分裂单态射]]和[[分裂满态射]]之间，后者称为前者的'''收缩'''('''retraction''')，前者称为后者的'''截面'''('''section''')。

== 定义 ==

对范畴 <math>\mathscr{C}</math> ，态射 <math>f\in \mathrm{Hom}_\mathscr{C} (A, B), g \in \mathrm{Hom}_\mathscr{C} (B, A)</math> ，若有 <math>g f = 1_A</math> ，则态射 <math>f</math> 是一个分裂单态射、态射 <math>g</math> 是一个分裂满态射，此时称态射 <math>g</math> 是态射 <math>f</math> 的一个'''收缩'''('''retraction''')，态射 <math>f</math> 是态射 <math>g</math> 的一个'''截面'''('''section''')。


{{范畴论}}