零对象

零对象(zero object)是一个特殊的对象，它在范畴论中起着特别重要的作用，一个范畴中同时为始对象与终对象的对象称为零对象。一般地，一个范畴的零对象(始对象、终对象)未必存在，但对一些常用范畴，如预加性范畴(因此对加性范畴、阿贝尔范畴)是有零对象的，若一个范畴的零对象存在，则在等价意义下是惟一的，例如，零群0为阿贝尔范畴的惟一零对象。设是一个范畴。