终对象

词语解释

终对象(terminal objects)范畴论的基本概念之一指在范畴中起着特殊作用的一种对象，是始对象的对偶概念。在数学分支的类别理论中，C类的始对象是C中的对象I，使得对于C中的每个对象X，存在精确的一个态射I→X。同样的是终对象（也称为终端元素、终端对象）：T是终端，如果对于C中的每个对象X存在单个态射X→T。如果一个对象既是始端，也是终端，它被称为零对象或空对象，它是 一个零对象的类。一个严格的始对象I，它的每一个态都是同构的。