始对象

始对象(initial object)是范畴论的基本概念之一，指在范畴论中起着特殊作用的一类对象，是终对象的对偶概念，它们都是零对象的推广。设C为范畴，A∈C，若对一切B∈C，Hom(A，B)都只有一个元素，则称A为范畴C的始对象，C的任何两个始对象必是等价(同构)的。例如，阿贝尔群范畴的始对象为0(零群)[1]。(2) 设是范畴，，若对于，都是仅含单独一个元素的集，则称是的终对象(terminalobject)。