补充资料：范畴的零对象

范畴的零对象
null object of a category

　　范畴的尽对象[咖d水以of aCa相，叮;。瓣.浦浦“灯“皿犯，p粗] 一个对象(通常表以O)，使对范畴中的每一个对象X，集合H(X，0)与H(0，X)都是单元集合.零对象，如果在给定的范畴中是存在的，则就同构而言是唯一确定的.在具有特异点的集合的范礴内，零对象是一个单元集合，在群的范畴内是其中的平凡群，在模范畴内是零模，等等.并非每一个范畴都含有一个零对象，但对任何给定的范畴，总可以形式地添加进一个零对象.有零对象的范畴有零态射. M .111 .Ua朋肛。撰【补注】一个范畴中的一个对象I称为始对象(而1通1obj时)如果对任何X，恰有一个态射I~x;称为终对象(把n刀in目object或石朋10坛ect)如果对任何X，恰有一个态射X~1.因此，一个零对象既是一个始对象又是一个终对象.如果在一个给定的范畴中存在始对象，那么就同构而言，它是唯一的.终对象也是这样，但一个范畴可能有不同构的始对象与终对象.例如在集合的范畴中，空集是一个始对象，而任何单元集合都是终对象.一个范畴的终对象可以被看成该范畴中空图的一个极限(血拍t)(见极限(】让亩t)一条目后为了范畴中一个图的极限的概念所作的补注).反之，任意一个图的一个极限可在适当的锥范畴中定义为一个终对象.周伯埙译
　　

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