[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
616(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/19(日)20:05 ID:HyW/YoLR(11/12) AAS
>>610 追加
書棚の”こやし”Steve Awodey 圏論 前原 和壽訳
訳者あとがきで Homotopy type theory、Voevodsky の話がある
ここらは、2009とか2012–13という年代が挙げられているので
望月氏は、Homotopy type theoryは 殆どご存知ない気がします （＾＾；
(参考)
外部ﾘﾝｸ[html]:www.kyoritsu-pub.co.jp
圏論 原著第2版 Steve Awodey 著・ 前原 和壽 訳 2015/09/20
圏論が多分野に普及して30年を経た現在、誰もが読める圏論の本が必要だ――本書はこのモチベーションで執筆された。予備知識がほとんどない読者のために、例として半順序集合と半群がゼロから説明され、最後までそれらを用いて話が展開されている。これらのほかにも例が豊富に取り上げられている。なお、予備知識がほとんど必要ないとはいえ、数学的な厳密性は損なわれていない。すべての重要な命題と定理には完全な証明が付されている。本書は情報科学や論理学など、さまざまな分野へ役立てられるであろう。
外部ﾘﾝｸ[html]:www.kyoritsu-pub.co.jp
省12
620(1): 10/20(月)01:00 ID:GX4gOsvM(1/2) AAS
>>616
赤カラス先生は繰り言だけになりましたね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.058s