[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

546(1): 2022/04/24(日)08:00 ID:/7dcPctj(1/16) AAS
>>538 補足
>いまどきの普通の圏論の教科書を読んだ人が
>”宇宙”とか言われると
>違和感あると思うな

下記のベーシック圏論 Leinsterに、”宇宙”が2箇所出てくる

外部ﾘﾝｸ:www.maruzen-publishing.co.jp
ベーシック圏論 普遍性からの速習コース
原書名 Basic Category Theory
著者名 斎藤　恭司 監修 土岡　俊介 訳 丸善出版 2017年01月
＜arxiv公開＞
省10

---

547: 2022/04/24(日)08:00 ID:/7dcPctj(2/16) AAS
>>546
つづき

P168 (toposの説明で、‘universe of sets’と使っている)
For instance, a topos can be regarded as a ‘universe of sets’: Set is the most
basic example of a topos, and every topos shares enough features with Set that
one can reason with its objects as if they were sets of some exotic kind. On the
other hand, a topos can be regarded as a generalized topological space: every
space gives rise to a topos (namely, the category of sheaves on it), and topological properties of the space can be reinterpreted in a useful way as categorical
properties of its associated topos.
(引用終り)
省9

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ ｱﾎﾞﾝOFF

---

ぬこの手 ぬこTOP 0.042s