終対象
#Fleeting_Notes
終対象(final object, terminal object)、空積(empty product)
圏の中の任意の対象からただ一つの射がある対象を終対象と呼ぶ。
終対象は
$ \mathbf{t}, \mathbf{1}
で表されることが多いらしい。
$ C \to \mathbf{1}
証明については結城
/category/終対象の普遍性
確認用
Q. 終対象
関連
半順序集合(Posets)
メモ
調査用
Google.icon
終対象(日)
Google.icon
Terminal object(英)
Wikipedia.icon
終対象 - Wikipedia(日)
終対象(検索) - Wikipedia(日)
Wikipedia.icon
Terminal object - Wikipedia(英)
Terminal object(検索) - Wikipedia(英)