シングルトン
#Fleeting_Notes
シングルトン(singleton)
数学の場合のシングルトン(singleton)は
単元集合
、
単集合
$ x
のみ要素に持つ集合
$ \{x\}
デザインパターンの場合の
Singleton Pattern
はシングルトン・パターン
対応するもの
(論理) true
(集合) シングルトン
(圏論)
終対象
(圏論) n-truncation:
(-2)-truncated object
(型理論)
unit type
(型理論)
h-level 0型
HoTTでの対応
(homotopy level)
h-level 0
(n-truncation)
(-2)-truncated object
(ホモトピー論)
contractible space
(高次圏論) (-2)-groupoid
(高次トポス) -
(ホモトピー型理論) true
(ホモトピー型理論) unit type
(ホモトピー型理論)
contractible type
確認用
Q. シングルトン
関連
サブシングルトン
参考
単集合 - Wikipedia
代数と余代数、クラスと余クラス - 檜山正幸のキマイラ飼育記 (はてなBlog)
computational trilogy in nLab
メモ
singleton in nLab
調査用
Google.icon
シングルトン(日)
Google.icon
Singleton(英)
Wikipedia.icon
シングルトン - Wikipedia(日)
シングルトン(検索) - Wikipedia(日)
Wikipedia.icon
Singleton - Wikipedia(英)
Singleton(検索) - Wikipedia(英)