範疇論
終物件
終物件是範疇論中的「終點」——從任何地方出發恰有一種方式映入它。它是最經濟的匯:每個物件都恰有一個箭頭通往它,毫無自由。終物件是始物件的對偶,由把每個箭頭反向而得,在多數範疇中充當平凡的或「單點」的物件。
形式地說,C 的一個物件 T 是終的,若對每個物件 X 都有唯一態射 X -> T。與始物件一樣,存在性加唯一性即是全部內容,且任何兩個終物件都典範同構。終物件恰是空圖上的極限,與把始物件描述為空餘極限相對偶。
在熟悉的範疇中,終物件是單元素結構。在 Set 中它是任何單點集(映入它的每個函數都是常值,故唯一)。在 Grp 與向量空間範疇中它是平凡群/零空間。在 Top 中它是單點空間,而在帶點集合範疇中它與始物件重合——一個範疇若有既始且終的物件,便有一個零物件,這正是加性與阿貝爾範疇中的情形。
在 Set 中單點集 {*} 是終物件:對任何集合 X 恰有一個映射 X -> {*}。注意空集是始物件但不是終物件,故在 Set 中始與終相異——而在 Grp 中平凡群二者皆是,使其成為一個零物件。
單點集在 Set 中是終物件;平凡群在 Grp 中是零物件。
又稱
另見