[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 http://rio2016.5ch.net/test/read.cgi/math/1578091012/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
173: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/01/08(水) 11:58:02.25 ID:1QCooAdl >>171 追加 http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf IUTそのIV (抜粋) P68 In the following discussion, we use the phrase “set-theoretic formula” as it is conventionally used in discussions of axiomatic set theory [cf., e.g., [Drk], Chapter 1, §2], with the following proviso: In the following discussion, it should be understood that every set-theoretic formula that appears is “absolute” in the sense that its validity for a collection of sets contained in some universe V relative to the model of set theory determined by V is equivalent, for any universe W such that V ∈ W, to its validity for the same collection of sets relative to the model of set theory determined by W [cf., e.g., [Drk], Chapter 3, Definition 4.2]. Definition 3.1. (i) A 0-species S0 is a collection of conditions given by a set-theoretic formula P85 Bibliography [Drk] F. R. Drake, Set Theory: an Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics 76, North-Holland (1974). https://www.researchgate.net/publication/270260913_Drake_Frank_R_Set_theory_An_introduction_to_large_cardinals_Studies_in_logic_and_the_foundations_of_mathematics_vol_76_North-Holland_Publishing_Company_Amsterdam_and_London_and_American_Elsevier_Publi researchgate Drake Frank R.. Set theory. An introduction to large cardinals. Studies in logic and the foundations of mathematics, vol. 76. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xii + 351 pp. http://rio2016.5ch.net/test/read.cgi/math/1578091012/173
175: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/01/08(水) 12:09:40.94 ID:1QCooAdl >>173 追加 species って、nLabでは圏論なんだけど 望月 IUT4 §3では、ZFCの集合論みたく書いてある はて はて? (^^; https://ncatlab.org/nlab/show/species nLab species (抜粋) 1. Idea A (combinatorial) species is a presheaf or higher categorical presheaf on the groupoid core(FinSet), the permutation groupoid. A species is a symmetric sequence by another name. Meaning: they are categorically equivalent notions. 2. Definition 1-categorical 2-categorical (∞,1) -categorical Operations on species There are in fact 5 important monoidal structures on the category of species. http://rio2016.5ch.net/test/read.cgi/math/1578091012/175
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s