- 1 名前：１３２人目の素数さん mailto:sage [04/07/13 00:13]
- , ＿ ﾉ）
γ∞γ~ ＼ とて
とて | / 从从) ）
ヽ | | l l |〃 ／￣￣￣￣￣￣￣￣￣￣￣
｀从ﾊ~ ワノ） ＜ 圏論についてなんでもどうぞ♪
{| ￣［`［>ﾛ<］'］￣|! ＼＿＿＿＿＿＿＿＿＿＿＿
`,─Y ,└┘_ﾄ─'
└／/ ｌ T ヽ＼ とて
⌒ヽ ,く._ ' _ >
人 ｀ヽ｀二二二´'´
Y⌒ヽ）⌒ヽ し' ｌ⌒)
￣￣￣￣￣￣￣￣￣￣￣￣￣
■前スレ
なんで圏論なんてもんがあんのよ？
science3.2ch.net/test/read.cgi/math/1057731708/
■関連スレ
大好き★代数幾何 Part 2
science3.2ch.net/test/read.cgi/math/1070510931/
集合論なぜなにスレッド
science3.2ch.net/test/read.cgi/math/1064299337/
非古典論理について語るスレ
science3.2ch.net/test/read.cgi/math/1071060325/
■関連過去スレ
層
science2.2ch.net/test/read.cgi/math/1003853278/ （dat落ち中）
シット サイト トポス シャン モチーフ
science.2ch.net/math/kako/1007/10076/1007625226.html
- 481 名前：１３２人目の素数さん mailto:sage [2005/07/06(水) 10:21:18 ]
- >>479
＞形式スキームという応用例
それには如何なる内実があるのか？
形式論の延長例以上の物なのか？
- 482 名前：１３２人目の素数さん [2005/07/06(水) 10:58:36 ]
- >>481
形式(フォーマル)スキームを知らないと説明しにくい。
具体的かつ重要な応用があることを信じてもらうしかないな。
ちなみに形式というのは形式的べき級数などのときの形式と同じ意味。
- 483 名前：１３２人目の素数さん [2005/07/06(水) 13:45:18 ]
- >>478
元々の圏がアーベル圏だったとき、層の全体が作る圏もアーベル圏になりますか？
それと、層係数コホモロジーもできる？
教科書とか、なければ論文を教えてー！キボン
- 484 名前：１３２人目の素数さん [2005/07/06(水) 13:47:51 ]
- >>483
キボン！キボン！キボン！
- 485 名前：１３２人目の素数さん [2005/07/06(水) 14:04:48 ]
- >>483
>元々の圏がアーベル圏だったとき、層の全体が作る圏もアーベル圏になりますか？
元のアーベル圏に無限直積が存在しないとならないと思う。
- 486 名前：１３２人目の素数さん [2005/07/06(水) 14:08:29 ]
- 崩れ博士・PD PART3【コネの造りしもの】
science3.2ch.net/test/read.cgi/math/1120573848/
- 487 名前：１３２人目の素数さん mailto:sage [2005/07/06(水) 16:26:14 ]
- シュプリンガーの訳本で圏論の奴出たけど
あれどう？
- 488 名前：１３２人目の素数さん mailto:sage [2005/07/06(水) 22:19:08 ]
- >>478
そんな定義があったのか。なるほろなるほろ。
- 489 名前：１３２人目の素数さん [2005/07/06(水) 22:52:30 ]
- >>487
お前、子供の頃によく「人の話を聞きなさい」って
言われただろ。
>>438 およびその後のレス参照
- 490 名前：１３２人目の素数さん mailto:sage [2005/07/06(水) 23:13:41 ]
- >>489
親切すぎるよアナタ．感動．
- 491 名前：１３２人目の素数さん mailto:sage [2005/07/06(水) 23:14:54 ]
- >>487
お前、小学生の頃によく「過去ログ嫁」って
言われただろ。
- 492 名前：４８７ mailto:sage [2005/07/06(水) 23:16:36 ]
- いやスマンかった
でも言い訳だが子供のころに
よくアドバイスしてくれる人いなかったんです・・・
- 493 名前：１３２人目の素数さん mailto:sage [2005/07/07(木) 06:25:29 ]
- 嫁いじめ
- 494 名前：１３２人目の素数さん [2005/07/07(木) 09:28:18 ]
- 漏れは兄弟Ｂコース生。常々、思ってたこと書いちゃいます
The 数学者
給料安い、雑用多い、キモイ
すなわち、人生の負組み代表
- 495 名前：１３２人目の素数さん [2005/07/07(木) 20:04:10 ]
- >>494
２ちゃんでそんなこと言ってるほうが負け(ry
- 496 名前：１３２人目の素数さん [2005/07/07(木) 21:26:03 ]
- www.mym-hp.com/user-cgi-bin/himabbs/tinies.cgi?room=13579
あげ
- 497 名前：１３２人目の素数さん [2005/07/08(金) 13:16:33 ]
- >>494
お前、うざいよ。誰が数学者が勝ち組だと言った？ そんなこと思ってる
奴いるかよ。お前、数学者に妙な幻想を持ってるんだろ。だから彼らが
気になってしょうがない。情けないやっちゃ。
- 498 名前：１３２人目の素数さん mailto:sage [2005/07/08(金) 13:56:41 ]
- こぴぺにま
- 499 名前：１３２人目の素数さん [2005/07/08(金) 14:49:48 ]
- わかってるって。だからうざいんだよ。
- 500 名前：１３２人目の素数さん [2005/07/08(金) 15:51:41 ]
- >>497-499 ｗｗｗ
- 501 名前：１３２人目の素数さん mailto:sage [2005/07/08(金) 20:58:36 ]
- このコピペ、数学者ってとこを物理学者や化学者や生物学者に
代えても、あんまし違和感ないですナー・・・
- 502 名前：１３２人目の素数さん [2005/07/09(土) 02:13:34 ]
- The 科学者
給料安い、雑用多い、キモイ
すなわち、人生の負組み代表
- 503 名前：１３２人目の素数さん [2005/07/16(土) 14:00:57 ]
- d
- 504 名前：１３２人目の素数さん mailto:sage [2005/07/16(土) 17:28:15 ]
- エピ射！！ 喪に射！！
- 505 名前：１３２人目の素数さん [2005/07/16(土) 21:36:35 ]
- 顔射
- 506 名前：１３２人目の素数さん [2005/07/16(土) 23:43:07 ]
- 全射と顔射
注射と官庁
- 507 名前：１３２人目の素数さん mailto:sage [2005/08/05(金) 13:10:36 ]
- 0
- 508 名前：１３２人目の素数さん [2005/08/10(水) 00:34:09 ]
- 集合の基礎も知らないのですが、圏論を勉強したいです。
初学者が圏論に至るまでには、どのような勉強をしていけばいいでしょうか？
良書、良サイトなどを紹介していただけないでしょうか。
（オンライン・オフライン問わず）講師がついてくれればベストですが、そのような制度はあるでしょうか？
大学へ行くという選択肢は無いものとして、お願いいたします。
- 509 名前：１３２人目の素数さん [2005/08/10(水) 01:00:05 ]
- 最近シュプリンガーから翻訳が出たマックレーンの本はどうなんだろうか？
- 510 名前：１３２人目の素数さん [2005/08/10(水) 04:44:31 ]
- >>508
だから集合知らずになんで圏論やりたいんだよ？
なんとなくカッチョいいからか？
トレンディだからか？
- 511 名前：１３２人目の素数さん [2005/08/10(水) 04:46:46 ]
- >>508
おまえ金もはらわず
人様に講師になってもらおうなんて
乞食根性だよ
- 512 名前：ロマン君ナカスwwww mailto:sage [2005/08/10(水) 04:54:20 ]
- 275 ：１３２人目の素数さん ：2005/08/10(水) 04:43:07
RIMS関係者は
うすきたない佐々木とそのマヌケな信ぽう者たちが
RIMSの施設を使うことに反対するデモを起こせ！
- 513 名前：１３２人目の素数さん [2005/08/10(水) 05:02:53 ]
- >>508
はあ？
「そのような制度」ってなんだよ？
世の中の人がおまえのために働いてくれる制度か？
おまえが王様になれる制度か？
そんなもんはねーよ
ヴァーーーーーーーーーーーーーーカ
死ねよ
- 514 名前：１３２人目の素数さん mailto:sage [2005/08/10(水) 05:23:25 ]
- 言葉は悪いが言ってる事は正しい。
- 515 名前：１３２人目の素数さん [2005/08/10(水) 05:59:27 ]
- >>509
お前、子供の頃によく「人の話を聞きなさい」って
言われただろ。
>>438 およびその後のレス参照
- 516 名前：１３２人目の素数さん mailto:sage [2005/08/10(水) 06:00:37 ]
- 釣りとしか思えん
- 517 名前：１３２人目の素数さん mailto:sage [2005/08/10(水) 06:09:05 ]
- どっちが？
”大学へ行くという選択肢は無いものとして”
この部分が個人的におもしろかった。
- 518 名前：１３２人目の素数さん [2005/08/10(水) 06:09:36 ]
- >>508
圏論を勉強したいなら，代数系（群，環，体，加群など）や複素解析や
一般位相などの基本的な数学概念をまず修得しなければならぬ。具体例
が頭に描けないと無意味。まずこれらを勉強してから。
- 519 名前：１３２人目の素数さん [2005/08/10(水) 07:14:46 ]
- >>508 のセンス
集合は地味で幼稚でダサい
だから勉強したくない
圏論は今風でトレンディでカッコいい
大人になった気分
これで隣の奴を見下せる
だから圏論おしえて
- 520 名前：１３２人目の素数さん [2005/08/10(水) 09:18:53 ]
- >>508
>>518の言うとおりだと思う。
漏れも前スレで似たような質問をして、同じような回答をもらった。
漏れは物理系なんで、解析力学と関連の深い微分幾何をきっちり（かどうか自信ないが）やってみた。
その後圏論の文献読むと全然わかりかたが違った。
計算機科学系ならプログラム意味論なんかもあると思うけど。いずれにしても具体的なイメージ持たずに圏論やるのはキツイよ。
あの時アドバイスしてくれた人にはホント感謝してる。
２ｃｈに来てよかったと思う、数少ない思い出の一つだ。
- 521 名前：１３２人目の素数さん [2005/08/10(水) 09:50:34 ]
- 圏論やるなら代数トポロジーの基礎くらい知らないとまずいだろ。
代数トポロジーから圏論が発生したんだし、圏論を応用する場と
しての意味もある。代数幾何も同様の役目をするかもしれないけど、
結局、代数幾何でも代数トポロジーが必要になってくる。
まあ、代数トポロジーは現代数学やる上での常識みたいなものだし。
- 522 名前：508 [2005/08/10(水) 10:13:59 ]
- >>521
その代数トポなんとかというのは
集合を知らないでできますか？
集合はカッコわるいので
どうしてもイヤなんです
- 523 名前：１３２人目の素数さん [2005/08/10(水) 10:33:34 ]
- 集合もなんにもいらないよ。ついでに君自身もいらない
- 524 名前：508 mailto:sage [2005/08/11(木) 17:00:44 ]
- とりあえず、これ以前に出現している508は偽者ですので。
>>510
>>519
集合を勉強せずに圏論をやりたいとは言っていません。
まず集合を勉強して、それから何を勉強すれば、圏論に至れるのかをお聞きしたいのです。
>>511
安いに越したことはありませんが、金を払わないとも言ってません。
ただ、大学に何年か通うような金はないので、もうちょっと安い方法があれば教えていただきたいのです。
>>518
>>520
ありがとうございます。
できれば、それらの個々を学ぶ上での手がかり（参考書、サイト等）をご教示頂けませんでしょうか、というのが、質問の趣旨です。
>>521
ありがとうございます。
が、数学初心者なので、代数トポロジーとは何なのかもわかっていません。
自分でも調べてはみますが、そういった「圏論へ至るまでに、まず、何をどうやって学べばいいか」が知りたいのです。
- 525 名前：１３２人目の素数さん mailto:sage [2005/08/11(木) 17:56:48 ]
- >>524
まあ代数学をやるんであれば、岩波書店の代数系入門あたりが無難じゃないかと思う。
他には現代数学の基礎シリーズ等、色々あるから本屋や図書館で見てみるといい。
こちらがいくら薦めても、読む人のレベルに合ったものじゃないと読んでてわけわかんないという
状態になりかねない。
あと圏論関係の本だと、個人的に面白いと思った本は「コホモロジーのこころ」。これは圏論の基礎から結構代数的に書いてある。
でも結局最後はマクレーンの｢圏論の基礎」読むことになるだろう。
とりあえず一冊買って圏論がどんな感じか雰囲気をつかんでみればいいんじゃない？
数学はサイトなんかじゃ学べませんよ。しっかり本を読みましょう。
- 526 名前：508 mailto:sage [2005/08/11(木) 19:16:22 ]
- >>525
ありがとうございます。
岩波の「代数系入門」、「コホモロジーのこころ」、マクレーンの｢圏論の基礎」
上記３冊について調べてみます。
ところで、圏論を学ぶのに集合論はいらないんでしょうか？
集合論というよりも、「集合」という概念ですが。
- 527 名前：１３２人目の素数さん mailto:sage [2005/08/11(木) 19:43:34 ]
- >>526
集合論は圏論に限らず数学を学ぶ上では必須。
集合論やらないとその三冊ほとんど読めないと思うよ。
- 528 名前：１３２人目の素数さん mailto:sage [2005/08/11(木) 22:02:42 ]
- ていうか、「『集合』という概念」を理解せずに学ぶことのできる
数学の分野があるのなら、教えて貰いたいくらいのもんですよ(^^;
- 529 名前：１３２人目の素数さん mailto:sage [2005/08/12(金) 00:50:06 ]
- 集合論って言っても多分ものすごい基礎的なこと言ってるんだろうな
とりあえず代数系入門しか読めないに1票
- 530 名前：508 [2005/08/12(金) 04:47:28 ]
- 圏論を知りたいとおもったのは
実は合コンのためなんです
中沢新一きどって読めもしない
現代数学の専門書を小脇にかかえて
合コンの席で圏論の言葉でも使えば
モテるんじゃないかなと
- 531 名前：１３２人目の素数さん mailto:sage [2005/08/12(金) 07:02:42 ]
- ｗｗｗｗ
- 532 名前：１３２人目の素数さん [2005/08/12(金) 08:58:59 ]
- 代数トポロジーも知らないで圏論なんてやらないほうがいいよ。
圏論の何がうれしいのかさっぱりわからないことになる。
- 533 名前：１３２人目の素数さん mailto:sage [2005/08/12(金) 09:09:29 ]
- >>508
「集合論」といっても幅広い。一般数学者でも専門的なことは知らない。
位相の勉強をしようと思って書店に行くと「集合と位相」のような本が
多いがこのように位相を学ぶための基礎として軽く学べば良く深入りする
必要なし。ただし位相はしっかり勉強すべし。
- 534 名前：ブソゲソ [2005/08/12(金) 20:50:04 ]
- 圏論を学習するためによい本はなんですか？
- 535 名前：１３２人目の素数さん [2005/08/12(金) 21:01:00 ]
- >>534
>>508 を含めこの手の馬鹿な質問をする馬鹿が
多くて困るのだが，圏論なんてものは
普通の数学をまじめにやってりゃ
自然に勝手に身につくもので
何を読めばいいかも他人に聞かなくてもわかるのである
箸にも棒にもひっかからないやつが
>>508 みたいな馬鹿な質問をするのである
- 536 名前：１３２人目の素数さん [2005/08/12(金) 21:08:00 ]
- だけど数学者で圏論をバカにしてるの結構多いよ。
無知なだけなんだけどね。
- 537 名前：１３２人目の素数さん [2005/08/12(金) 21:10:35 ]
- >>536
それは解析屋でしょ？
あいつら馬鹿だもん
- 538 名前：１３２人目の素数さん [2005/08/12(金) 21:17:54 ]
- 俺は幾何的トポロジー(geometric topology)の専門家で圏論をバカにしてる
奴を知っていた。
俺がさとして改心させたけど。
- 539 名前：１３２人目の素数さん [2005/08/12(金) 21:19:29 ]
- 圏論の重要性っていうのは目からウロコの経験がないと分からないんだよ。
- 540 名前：１３２人目の素数さん mailto:sage [2005/08/12(金) 21:21:38 ]
- category theoryをgeneral nonsenseだと評したのって
Steenrodだっけ
- 541 名前：１３２人目の素数さん [2005/08/12(金) 21:22:29 ]
- Steenrodは圏論の信奉者。
- 542 名前：１３２人目の素数さん mailto:sage [2005/08/12(金) 23:07:19 ]
- F. William Lawvere , Stephen H. Schanuel ,[Conceptual Mathematics: A First Introduction to Categories]
はどうなの？面白いでしょうか？
- 543 名前：１３２人目の素数さん [2005/08/13(土) 11:28:12 ]
- おまいらキジか
- 544 名前：１３２人目の素数さん [2005/08/14(日) 07:44:35 ]
- >>542
カテゴリーの一冊目にはいいと思う．
写像の単射全射あたりから図解で，平易に説明してある．
値段も良心的だ．
- 545 名前：１３２人目の素数さん mailto:sage [2005/08/14(日) 16:36:41 ]
- >>540,>>541
どっちも正しい。
general nonsenseって言葉が一人歩きしてるがSteenrodは肯定的な意味で言った。
- 546 名前：１３２人目の素数さん mailto:sage [2005/08/14(日) 19:15:32 ]
- general nonsenseって一般的過ぎて無意味ってことじゃ
- 547 名前：１３２人目の素数さん mailto:sage [2005/08/14(日) 20:10:22 ]
- abstract nonsense
- 548 名前：545 mailto:sage [2005/08/14(日) 22:52:37 ]
- >>547
それだ
- 549 名前：508 mailto:sage [2005/08/15(月) 13:56:58 ]
- >>529
ものすごい基礎的なこと言ってます。
集合同士の演算子（Uみたいなやつ）の意味も知りません。
とりあえず代数系入門読んでみることにします。
>>533
位相ですか。位相ってなんだか知らないんですが、易しそうな本を探してみます。
>>535
専門学校卒で、数学は高校レベルまでしか知らないと、こんなもんです。
高校数学でも集合についてもうちょっと知ってる人はいるでしょうが、圏論まではたどり着きませんて。
>>539
是非とも目から鱗を落としてみたいものです。
では、この辺りで去ります。
皆様、ありがとうございました。
- 550 名前：１３２人目の素数さん [2005/08/15(月) 17:26:04 ]
- 圏論やんのに解析の知識ってどのくらいいんの？
俺解析殆どわかんなかったんだけど大丈夫かな？
- 551 名前：数論屋 mailto:sage [2005/08/15(月) 18:13:11 ]
-
アーベル圏も知らんのか？
- 552 名前：１３２人目の素数さん mailto:sage [2005/08/15(月) 18:33:04 ]
- >>549
そこまで何も知らずに圏論をやりたいのはなぜ？
圏論って言葉をどこで聞いたの？
- 553 名前：１３２人目の素数さん mailto:sage [2005/08/15(月) 20:06:54 ]
- もう去るらしいのでスルーでも良いのでは？
- 554 名前：１３２人目の素数さん [2005/08/18(木) 19:35:22 ]
- 猿らしいのでスルーでも良いのでは？
- 555 名前：５５５ mailto:sage [2005/08/19(金) 07:42:12 ]
-
グロタンディーク圏というのもある。
- 556 名前：１３２人目の素数さん [2005/08/19(金) 09:10:51 ]
- 中学生に集合論教えても意味ないように(一頃、new mathにかぶれたバカな奴が
導入したらしいが)、数学の基礎的なことを知らない人間が圏論を学ぶのは意味ないだろ。
- 557 名前：１３２人目の素数さん [2005/08/19(金) 12:47:37 ]
- >>549
>専門学校卒で、数学は高校レベルまでしか知らないと、こんなもんです。
>高校数学でも集合についてもうちょっと知ってる人はいるでしょうが、圏論まではたどり着きませんて。
だからそんなヤツがなんで
突然に圏論なんだよ？！
「アインシュタインロマン」見て
アインシュタインアインシュタインって言ってる馬鹿と同じか？
- 558 名前：１３２人目の素数さん mailto:sage [2005/08/19(金) 13:31:11 ]
- >>557
いいじゃねーか。若いうちに思い切り背伸びするくらい。
それに、高いところから見れば低いところはよく見える。
ただ、自分で本を探す事もせずに得意げに2chに書き込むのは馬鹿だと思うがな。
- 559 名前：１３２人目の素数さん [2005/08/19(金) 14:20:33 ]
- 背伸びするのはいいけど圏論ってのは方向性が違うような。
圏論なんてものは数学やっていくうちに自然に必要性を感じるんで
(誤解のないように言うと、自発的に感じるんではなく引用されたり
予備知識として要求されたりするから)、
必要もないのにやっても訳分からず嫌気がさすのが落ち。
- 560 名前：１３２人目の素数さん mailto:sage [2005/08/19(金) 15:32:43 ]
- 集合論は素朴すぎてダサいから圏論がいい、ていうヘンな信仰みたいなのがあるよね。
それを言ったら圏論は抽象的すぎてダメみたいになるから、どちらも極端なんだ。
- 561 名前：１３２人目の素数さん [2005/08/19(金) 16:40:54 ]
- >>560
意味がわからない。
ちゃんと日本語で書け
- 562 名前：１３２人目の素数さん [2005/08/19(金) 20:37:15 ]
- アーベル圏でexact functorはleft exact functor かつ right exact functorか？
half exact functor なんてのもあってよくわからない
すまん
- 563 名前：１３２人目の素数さん [2005/08/19(金) 22:52:54 ]
- 集合論に似たようなもので型理論というのがあるらしいんだが、どうちがうの？
型理論と圏論って関係あるの？
- 564 名前：１３２人目の素数さん mailto:sage [2005/08/19(金) 23:11:19 ]
- type理論はRusselとかが始祖の理論、のはず
- 565 名前：１３２人目の素数さん mailto:sage [2005/08/19(金) 23:13:46 ]
- ＞アーベル圏でexact functorはleft exact functor かつ right exact functorか？
そりゃそうじゃね？
＞half exact functor なんてのもあってよくわからない
んなのあるんだ。( ･∀･)つ〃∩ ﾍｪｰﾍｪｰﾍｪｰﾍｪ
- 566 名前：１３２人目の素数さん [2005/08/19(金) 23:21:07 ]
- 現代数学は集合論ではなく型理論で記述した方が自然だ、
数学で集合論が根付いたのは単に歴史的事情にすぎないと
書いてある本があるんだが。
- 567 名前：１３２人目の素数さん mailto:sage [2005/08/19(金) 23:24:55 ]
- 型理論よく知らんから一寸判断できないや
ただその本多分哲学か基礎論関係の本だと思う
Logicはたまに役に立つけどね
Non-standard analysisはもともと型理論の用語で書かれていたらしいし
- 568 名前：１３２人目の素数さん mailto:sage [2005/08/19(金) 23:32:56 ]
- 現代数学は集合で表現できることが知られてはいるが、
基本的にいわゆる普通の数学は型理論に基づいているような気がする
- 569 名前：１３２人目の素数さん mailto:sage [2005/08/19(金) 23:38:44 ]
- 実は数学者の頭にあるのは集合概念ではなくて名辞概念だ、
とか唯名論しちゃってる人もいるけどね。
Lesniewski系の人とか。
- 570 名前：１３２人目の素数さん [2005/08/21(日) 06:54:45 ]
- >>549
はっきりいって
おまえは人格が卑しい
それがにじみでている
- 571 名前：１３２人目の素数さん [2005/08/21(日) 13:14:29 ]
- Fをアーベル圏Aからアーベル圏Bへのadditive funcctor
0->X->Y->Z->0をshort exact sequence in Aとするとき
Fが left excat functor であるとは、0->FX->FY->FZがexactであること
Fが rihgt excat functor であるとは、FX->FY->FZ->0がexactであること
Fが excat functor であるとは、FX->FY->FZがexactであること
この定義間違ってる？もしかしたら
Fが excat functor であるとは、0->FX->FY->FZ->0がexactであること
Fが half excat functor であるとは、FX->FY->FZがexactであること
Fが left excat functor であるとは、0->FX->FYがexactであること
Fが rihgt excat functor であるとは、FY->FZ->0がexactであること
が正しい？
- 572 名前：１３２人目の素数さん [2005/08/21(日) 13:29:32 ]
- Fをアーベル圏Aからアーベル圏Bへのadditive functor
0->X->Y->Z->0をshort exact sequence in Aとするとき
Fが left exact functor であるとは、0->FX->FY->FZがexactであること
Fが rihgt exact functor であるとは、FX->FY->FZ->0がexactであること
Fが exact functor であるとは、0->FX->FY->FZ->0がexactであること
- 573 名前：１３２人目の素数さん [2005/08/22(月) 11:25:46 ]
- >>569
＞実は数学者の頭にあるのは集合概念ではなくて名辞概念だ
ばれたか（ｗ
- 574 名前：１３２人目の素数さん [2005/08/22(月) 11:34:36 ]
- 圏だけなら計算機科学にも出てくるけど
Ｒ大のＴ山先生によると、計算機科学の
圏論の議論は群が出てこないから
”ツマンナイ”らしい。
- 575 名前：１３２人目の素数さん [2005/08/22(月) 11:39:07 ]
- >>574
> 圏論の議論は群が出てこないから
> ”ツマンナイ”らしい。
群がでてきて「おもしろい」という場合は
どんななの？
具体的に例示してみて
- 576 名前：１３２人目の素数さん [2005/08/22(月) 13:43:10 ]
- >>575
群云々という文章は見つかりませんでしたが･･･
www.ritsumei.ac.jp/se/~takayama/MathEssays/soft.html
「・・・例えば、ソフトウエアサイエンスでも
トポスや層(シーフ)の理論を使っているではないか、
と言うかも知れないが、ソフトウエアサイエンスで
使っている層は、層の抜け殻のようなものでしかない。
(コホモロジーを使わずして何の層ぞ！？)」
- 577 名前：１３２人目の素数さん [2005/08/22(月) 13:51:21 ]
- 計算機科学だのソフトウェアサイエンスだので
圏やら層やらトポスだの使うのは聞いたことはあるのだが
どんなふうに使っているのだろうか？
ここにわかりやすいのを示してほしい
- 578 名前：１３２人目の素数さん mailto:sage [2005/08/22(月) 18:24:12 ]
- >>574
まあ彼の言うことだから話半分に、、
- 579 名前：１３２人目の素数さん mailto:sage [2005/08/22(月) 19:00:41 ]
- 要は層じゃなくてコホモロジーが大事だ、ってだけじゃんそれ
- 580 名前：１３２人目の素数さん [2005/08/23(火) 11:44:24 ]
- >>579
御意_(_ _)_
- 581 名前：１３２人目の素数さん [2005/08/23(火) 11:59:50 ]
- >>579
そのことを認識するのはかなり経験が必要だし重要だと思うぞ。
だから「だけ」というのは不適切だろうな。
|
 |
