topos
トポス (数学) - Wikipedia
Topos - Wikipedia
topos in nLab
層・圏・トポス―現代的集合像を求めて | 竹内 外史 |本 | 通販 | Amazon
圏論による論理学―高階論理とトポス | 清水 義夫 |本 | 通販 | Amazon
線型代数対話 第1 巻 圏論的集合論 集合圏とトポス | 西郷 甲矢人, 能美 十三 |本 | 通販 | Amazon
部分對象分類子
(subobject classifier) を持つ
Cartesian 閉圈 (CCC)
を
topos
と言ふ
Topos -- from Wolfram MathWorld
A category modeled after the properties of the category of sets. A category E is a topos if E has finite limits and every object of E has a power object (Barr and Wells 1985, p. 75)
圈
$ \bf E
が有限
極限 (圈)
を持ち、全ての對象が
冪對象
を持つならば、
topos
であると言ふ
topos の基本定理
topos
$ \bf E
とその對象
$ A\in|{\bf E}|
について、
slice 圈
$ {\bf E}/A
はまた
topos
である
餘 topos (cotopos)
cotopos in nLab
∞-トポス - Wikipedia
∞-圈