始对象

扩展释义

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