始对象和终对象
维基百科,自由的 encyclopedia
在数学领域,范畴C的对象I称为始对象(或初始对象),若对任何对象X,从I到X的态射唯一,或者说,C(I,X)为单元素集合。终对象(或终止对象、终结对象)是始对象的对偶概念。范畴C的对象T称为终对象,若对任何对象X,从X到T的态射唯一。若某对象即是始对象又是终对象,则称其为零对象。
在数学领域,范畴C的对象I称为始对象(或初始对象),若对任何对象X,从I到X的态射唯一,或者说,C(I,X)为单元素集合。终对象(或终止对象、终结对象)是始对象的对偶概念。范畴C的对象T称为终对象,若对任何对象X,从X到T的态射唯一。若某对象即是始对象又是终对象,则称其为零对象。