始对象(initial object)是范畴论的基本概念之一,指在范畴论中起着特殊作用的一类对象,是终对象的对偶概念,它们都是零对象的推广。设C为范畴,A∈C,若对一切B∈C,Hom(A,B)都只有一个元素,则称A为范畴C的始对象,C的任何两个始对象必是等价(同构)的。例如,阿贝尔群范畴的始对象为0(零群)。
欢迎使用别助学词语词典!我们专注于汉语词语、成语、近义词、反义词的查询与学习。词库丰富,查询快速,是您提升汉语水平的得力助手。如有任何问题,欢迎联系我们。