补充资料：范畴的对象的反射

范畴的对象的反射
reflection of an object of a category

　　范畴的对象的反射【肥山d如.ofan‘祠眯t of aCa姆笋I’y;Pe扣e切p 06，灿~功p.川，范畴的对象的反射子(优幻ector ofan砌eCt of a Cat贬夕ry) 令C是范畴虎的一个子范畴;对象B‘C叫做对象A‘只在C中的反射(此月“石曲ofano句喊)，或C反射(C一记优切。n)，是指有态射二:A~B，使得取C中的任意对象X，映射Hx(二):H。(B，X)~H，(A，X)是一一的.换言之，对任意态射“:A~X，存在唯一态射“’:B~X任C，使得“二二“‘.对象A的C反射不是唯一的，但是A的任意两个C反射必 同构.只中始对象的C反射是C中的始对象.包含函子巧~只的左伴随(如果存在)，即将几的每个对象对应到它在C中的反射的函子叫做一个反射子(比月氏tor). 例.在群范畴中，任意群G的商群G/G‘，其中G‘为G的换位子群，是G在Abel群子范畴中的反射.对于一个Abel群A，商群A/T(A)是A在无扭Abel群的满子范畴中的反射，其中T(A)为A的挠群.群A/T(A)的内射包万是群A和__皿/T(通)在无挠Abel群满子范畴中的反射. 反射通常在满子范畴中来考察.范畴究的一个满子范畴C叫做自反的(比月以范化)，若众中所有的对象都有反射(见自反子范畴(化月“石记s此。tegory)). M .111.你朋HK。撰【补注】一个对象的反射解决一个泛问皿(切山v吧招alproblen招).张英伯译
　　

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