对象）是始对象的对偶概念。范畴"C"的对象"T"称为终对象，若对任何对象"X"，从"X"到"T"的态射唯一。若某对象即是始对象又是终对象，则称其为零对象。
性质.范畴的始对象或终对象不一定存在。然而，若存在多个始对象，则它们互相同构。终对象也类似。