补充资料：收缩核

收缩核
retract

代数和拓扑中相应概念的一个推广.范畴只中的对象R叫作对象A的收缩核(re赶公ct)，是指有态射 召:R~A和v:A~R使v拜二1，.这时#是单态射(monoTnorp地m)，也是态射对1，和产v的等化子.对偶地，v是满态射(ePimo印恤m)，也是态射对1月，拜v的余等化子.有时群叫作截面(s以力on)，，叫作收缩(ret陇·tion). 若R是对象A的一个收缩核，R‘同构于R，则R’也是A的一个收缩核.从而收缩核的一个同构类构成A的一个子对象.A的由态射群:R~A和v:A~R定义的收缩核对应于一个幂等态射甲二拜v:A~A·对象A的两个收缩核R和R‘属于同一个子对象，当且仅当它们对应于同一个幂等元.任意范畴中任一对象的收缩核构成一个集合.M.山.UaJIeHK。撰拼卜注】最后一句话仅当假定所讨论的范畴是局部小时才对(即“有小hom集”)(亦见小范畴(srr么11。吐cgory)).张英伯译收缩核〔“由旧改;Pe，娜]，范畴中一个对象的

说明：补充资料仅用于学习参考，请勿用于其它任何用途。