TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
フェルマーの最終定理の簡単な証明8
現代数学の系譜 古典ガロア理論を読む35
虚数とか複素数ってなんですか？
多重集合と負の存在
独立研究者って
分からない問題はここに書いてね425
新井紀子スレッド
量子テレポーテーション× ⇒ 位相変換
大学学部レベル質問スレ 13単位目
【R言語】統計解析フリーソフトＲ 第6章【GNU R】
- 659 ：
- >>658 つづき
Summary
The topos concept arose in algebraic geometry, as a consequence of combining the concept of sheaf and closure under categorical operations. It plays a certain definite role in cohomology theories.
The subsequent developments associated with logic are more interdisciplinary. They include examples drawing on homotopy theory (classifying toposes).
They involve links between category theory and mathematical logic, and also (as a high-level, organisational discussion) between category theory and theoretical computer science based on type theory. Granted the general view of Saunders Mac Lane about ubiquity of concepts, this gives them a definite status. A 'killer application' is etale cohomology.
(引用終り)
”A 'killer application' is etale cohomology.”が面白いね
etale cohomologyが 'killer application'？（＾＾；
数学板ID表示制検討スレッド
惑星ニビルの衝突
東京理科大学理学部数学科・数理情報学科
現代数学の系譜 工学物理雑談 古典ガロア理論も読む56
高校数学は暗記科目
Inter-universal geometry と ABC予想 41
ユークリッド幾何学は中学・高校数学から撤廃すべき
くだらねぇ問題はここへ書け
数学はもうすぐ終わる学問って本当？
数学者ほどかっこいい職業あんの？
--------------------
実質10986
【JR山手線】座席に男が挟まり一時運転見合わせ [962614482]
日本司法支援センター(法テラス)9
【住宅・車】ローン返済中の既婚男性が集うスレ【教育】
【COMITIA】コミティア＆創作同人イベント123
【NCT】エヌ・シィ・ティ【元長岡ケーブルテレビ】
腰痛持ちのトレーニー
【獅子奮迅】デジモンVSドラゴンボール超【大猛獣】
早明浦ダム
池田先生⇔竹島
【PSO2】PHANTASY STAR ONLINE2【31059】
ツルネ -風舞高校弓道部-は臭い男子学生の糞アニメ
中央コンピュータ株式会社
■30代の恋愛■
●●● 極真はブラジリアン柔術に勝てない
関空が「日本の玄関」になるのは時間の問題
今までにないSRPGを作るスレ
【スパイシーホットケーキ】東京工科大学410【ノンシュガーエデンコーデ】
アッテンボローの鳥の世界
貝 Part2
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
