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