終対象
#Fleeting_Notes
終対象(final object, terminal object)、空積(empty product)
圏の中の任意の対象からただ一つの射がある対象を終対象と呼ぶ。
終対象は
$ \mathbf{t}, \mathbf{1}
で表されることが多いらしい。
$ C \to \mathbf{1}
証明については結城先生のやつを参照
/category/終対象の普遍性
対応するもの
(論理) true
(集合)
シングルトン
(圏論)
終対象
(圏論) n-truncation:
(-2)-truncated object
(型理論)
unit type
(ホモトピー型理論)
h-level 0型
/
contractible type
確認用
Q. 終対象
関連
半順序集合(Posets)
始対象
零対象
調査用
Google.icon
終対象(日)
Google.icon
Terminal object(英)
Wikipedia.icon
終対象 - Wikipedia(日)
終対象(検索) - Wikipedia(日)
Wikipedia.icon
Terminal object - Wikipedia(英)
Terminal object(検索) - Wikipedia(英)