X
トップページ⇒数学
73コメント16KB
圏論使って書き直して！
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
垢版 |
2017/12/04(月) 16:41:08.74ID:EkRzbPvA
松島の多様体とか古いからいいけど、最近の微分幾何学者はいつまで圏論を拒否すんだよ。微分形式とかベクトル場とか、大域的な古いの全部、層で書き直して、すっきりしたいと思わないの？

今、複素幾何の講義聞いてるんだけど、先生がファイバーバンドルの話しを延々とするわけ。いや、それ層でいいじゃんって思って、授業中ずっと暇だった。
0004１３２人目の素数さん
垢版 |
2017/12/04(月) 19:04:51.00ID:Vwkrkqn6
その前にテンソルをすっきりしてほしい
0006１３２人目の素数さん
垢版 |
2017/12/04(月) 19:10:15.15ID:2sPiR7gc
グロタンディークからしてまずK群の構成でベクトルバンドルから始めてるわけで
あの抽象馬鹿の極北が層で書いてないとこからお察し。
0007１３２人目の素数さん
垢版 |
2017/12/04(月) 22:32:16.11ID:wSXFcPVr
K群って代数幾何だと有限ランクの局所定数層を生成元にしてたよな。微分幾何だとうまくいかないの？
0010１３２人目の素数さん
垢版 |
2017/12/05(火) 15:26:31.62ID:zGfx4Sm3
圏論使えない化石に言われたくない。
0011１３２人目の素数さん
垢版 |
2017/12/05(火) 15:34:17.46ID:fwQpyNZg
今からでも遅くない。小学算数に圏論を導入しよう！
0012１３２人目の素数さん
垢版 |
2017/12/05(火) 16:47:16.69ID:t124QjxZ
数年前の謎の圏論ブームのときに提言しとけば
0014１３２人目の素数さん
垢版 |
2017/12/05(火) 17:11:54.47ID:05fOeb+L
俺もリアルタイムで小学生の頃色々とベーシック言語の仕様で疑問に当時思っていた（疑似）乱数関数やI/O関数呼び出しのオープンクローズ等がモナドで一貫して説明定義されるというのは結構いいのではと思う。
タートルグラフィックのLogoとかは弄らなかったが馬鹿みたいに関数概念重視する遠山啓系の水道式やってたので十分可能な気がするなあ
少なくとも俺の小学生時代に俺が教えるならできるわ。
0015１３２人目の素数さん
垢版 |
2017/12/05(火) 17:19:32.66ID:fwQpyNZg
ゆとり前の中学数学
https://www.nier.go.jp/guideline/s44j/chap2-3.htm
∞記号とか、集合論、論理記号とか、脊理法とか、逆関数とか、標準偏差とか、
0017１３２人目の素数さん
垢版 |
2017/12/18(月) 08:49:30.45ID:GbOwDyaY
SGCライブラリ 52

臨時別冊・数理科学2006年12月
「理工系のための トポロジー・圏論・微分幾何」
〜 双対性の視点から 〜

谷村省吾(名古屋大学教授)　著

定価：2,037円（本体1,886円+税）
発行：サイエンス社
発行日：2006-12-01
JAN 4910054701265?／ B5判／216頁


当然>>1は知ってるよね？このムック。
0031１３２人目の素数さん
垢版 |
2018/01/29(月) 11:45:39.82ID:ubdWxik8
耳栓をしたら世界が変わってワロタ
0032１３２人目の素数さん
垢版 |
2018/01/29(月) 18:40:42.00ID:JaNzRw2Q
深谷さんが岩波の現代数学シリーズ刊行の時、ホモロジー代数の巻出さないこと主張したって「数学のたのしみ」の数学の土壌で自分で書いてたね。
現代数学の展開ではさすがに一般コホモロジーの巻と事実上K理論な指数定理の巻があったけど。

同時期のこの頃のおなじく岩波刊行の「理工系の基礎数学10 微分・位相幾何」和達三樹著ではベクトル解析の巻を省いて大幅に幾何学的ゲージ理論的コホモロジー路線な教科書に仕立てたけどなんか不評だったっぽい

おなじく数学のキーポイントシリーズの「行列と変換群」梁成吉著も毛色がなんか違ってたけどいわゆるGA、ゲオメトリックアルゲブラ路線でクリフォード代数≒クォータニオン≒スピノール≒ディラック作用素な路線の先触れっぽい路線のあんちょこ本ではあった。
0033１３２人目の素数さん
垢版 |
2018/01/31(水) 10:45:51.10ID:ZAd277fg
>>17
役立たず
■ このスレッドは過去ログ倉庫に格納されています