- 1 名前：１３２人目の素数さん mailto:sage [2006/08/31(木) 07:21:12 ]
- ■前スレ
圏論 / カテゴリー論 / Category Theory 2
science4.2ch.net/test/read.cgi/math/1089645233/
なんで圏論なんてもんがあんのよ？
makimo.to/2ch/science3_math/1057/1057731708.html
■関連スレ
大好き★代数幾何 Part 3
science4.2ch.net/test/read.cgi/math/1119870806/
非古典論理について語るスレ
science4.2ch.net/test/read.cgi/math/1071060325/
■関連過去スレ
層
makimo.to/2ch/science2_math/1003/1003853278.html
シット サイト トポス シャン モチーフ
makimo.to/2ch/science_math/1007/1007625226.html
- 428 名前：１３２人目の素数さん [2007/04/17(火) 14:16:26 ]
- そんなもん何の励ましにもならない。
大体、必用にせまられないで概念をいじくり回すのは非生産的。
例えば、ｎ個の集合に何個の位相が定義できるかなんていうスレが
あったが、それが典型的。
- 429 名前：１３２人目の素数さん mailto:sage [2007/04/17(火) 14:58:24 ]
- >>417 が非結合的圏の理論で数学に革命を起こし、それに伴い
マグマがモノイドよりはるかに重要な概念になるかも。
- 430 名前：１３２人目の素数さん mailto:sage [2007/04/17(火) 15:01:23 ]
- まあ、非結合的な環（代数）ってのもあるわけだから、
「非結合的な圏」もまったく無用というわけではないだろう。
- 431 名前：４１７ mailto:sage [2007/04/17(火) 15:21:07 ]
- >>429
そういう大袈裟なものではないですが、何か名前があっても
いいような気がしたんです。代数系の方ですと、群やモノイド
に対して制限をゆるめた半群とか擬群、マグマなどいろいろ
あるわけです。そういえば、層に対しては前層という概念が
ありますよね。前層の層化というのにならって、非結合的圏
（前圏）の圏化というのが考えられれば面白いと思います。
- 432 名前：１３２人目の素数さん mailto:sage [2007/04/17(火) 15:28:49 ]
- そんな不便そうなものに名前を付ける必要はないと思うが。
「マグ圏」とかｗ？
- 433 名前：１３２人目の素数さん mailto:sage [2007/04/17(火) 19:11:22 ]
- >>425,426
月は有用？
- 434 名前：４１７ mailto:sage [2007/04/17(火) 21:00:39 ]
- >>432
いいですね。マグ圏でもマグマ圏でも自分の好きな名前で呼んでやれば
いいと思います。大切なのは、名前をつけて概念化することと考えます。
何の役に立つのか分かりませんが、圏論を一般化したいというのがその
動機です。代数幾何のスキーム理論で、可換環を可換とは限らない一般
の環に置き換えたらどうなるか、という発想と似ているかも知れませんね。
よく見てませんでしたが、>>402さんのところにヒントがのっているようです。
なるほど、群のアーベル化とは随伴函手の一種と考えられるわけですか。
それにならって、圏の圏から前圏（非結合的な圏）の圏への関手を考えて
その左随伴関手をとってやれば、前圏の圏化を定義してやることができる
のではないかと思います。前圏においても米田の補題の類似が成立する
のかとか、カン拡張がすべてというのはここでも有効かなどいろいろ考え
てみると、数学の世界がより広がってますます楽しくなってくる気がします。
- 435 名前：１３２人目の素数さん mailto:sage [2007/04/17(火) 21:59:50 ]
- ぐちゃぐちゃ書いてないで、そこに書いてあること自分でやってみな。
とりあえず「前圏の圏化」から。
- 436 名前：１３２人目の素数さん mailto:sage [2007/04/18(水) 00:22:14 ]
- >>434
その口を閉じて、もくもくと論文を書け。
成果が出たらスレに還元してくれればいい。
- 437 名前：１３２人目の素数さん mailto:sage [2007/04/21(土) 09:40:15 ]
- 前圏の圏化については上に書いた通りです。少し修正すべき箇所がある
かも知れませんが、だいたいあんな感じです。どこか重大な誤りがあれば
お願いします。詳しく書けませんけど、あれからものすごい発見をすること
もできたような気がしています。まだ詳細なチェックが必要ですけども・・・。
ところでマグマについて少し考えていたのですが、マグマにもイデアルとか
素イデアルを定義できます。そして、局所化の概念も形式的に得られます。
そうすると、マグマの素イデアル全体に自明なザリスキ位相を入れたもの
としてマグマ上のスペクトラムが定義されます。可換環の場合と同じように
して構造層を考え、局所的にマグマのスペクトラムと同相になるように貼り
合わせてやると、マグマ上のスキームが出来上がります。前圏の圏化の
時と同様に、環からマグマへの忘却関手に対してその左随伴関手をとれば
マグマ上のスキームから環上のスキームへの関手も自然に定義されます。
マグマ上のスキームＸが有限被覆をもち、それぞれのアフィンスキームが
有限生成である場合、Ｘは有限タイプと呼ばれることになります。つまりは、
マグマの元もある”空間”上の”関数”とみなし得るということです。ただし、
”関数”どうしの積が可換でなかったり結合律を満たさなかったりするわけ
です。いずれにしてもこのマグマ上のスキーム理論の世界には、非可換環
上の非可換代数幾何をほんの小さな一部分として含むような、広大な領域
が広がっていると思われます。数学にはまだまだ前人未到の誰も見たこと
のないような世界があるのでしょう。マグマに対する親近感が沸いてきます。
- 438 名前：１３２人目の素数さん [2007/04/24(火) 00:14:12 ]
- >>437
>いずれにしてもこのマグマ上のスキーム理論の世界には、非可換環
>上の非可換代数幾何をほんの小さな一部分として含むような、広大な領域
>が広がっていると思われます。
何を言ってんだか。
夢を語るのは誰でもできる。
成果を出しなさいよ。
どんな成果があるの？
- 439 名前：１３２人目の素数さん [2007/04/24(火) 00:18:44 ]
- あんたは概念先行なわけ。
こういうのは一般的に言って非生産的なのよ。
数学の発展というのは特殊から一般に行くわけ、その逆じゃない。
まあ、例外もなきしもあらずだろうけど。
- 440 名前：１３２人目の素数さん [2007/04/24(火) 00:33:18 ]
- 哲厨風味なスレはここですか？
- 441 名前：１３２人目の素数さん [2007/04/25(水) 20:57:52 ]
- >>387
>>389
>>392
>>393
証明まだかよ、おい。
いい加減、待ちくたびれたぞ。
大きな口をたたいたんだから、証明出来ないとは言わせない。
簡単すぎるんだろ？
- 442 名前：１３２人目の素数さん mailto:sage [2007/04/25(水) 23:25:22 ]
- ﾌﾟ
- 443 名前：１３２人目の素数さん mailto:sage [2007/04/27(金) 20:29:46 ]
- もっと夢を語ってくらさい。
- 444 名前：１３２人目の素数さん mailto:sage [2007/04/29(日) 07:22:28 ]
- >>443
例えば？
- 445 名前：１３２人目の素数さん mailto:sage [2007/04/29(日) 10:46:50 ]
- ここは夢さえ語れない奴が多いからなぁ。オレも含めてｗ
- 446 名前：１３２人目の素数さん [2007/04/29(日) 14:41:41 ]
- site上で代数幾何考えて何か新しい発見があるのですかグロタンさん
- 447 名前：１３２人目の素数さん mailto:sage [2007/04/29(日) 18:15:28 ]
- >>438
それなら今度はお前が夢を語ってみろよ。
誰でもできるんだろ？
偉そうに結果を出せなんて誰でも言える。
- 448 名前：１３２人目の素数さん [2007/04/29(日) 20:07:02 ]
- >>447
夢なんて簡単だよ。
例えば圏論でリーマン予想を解決とかなｗ
- 449 名前：１３２人目の素数さん mailto:sage [2007/04/29(日) 20:39:46 ]
- 矢印ぐるぐる書いてて楽しい？
- 450 名前：１３２人目の素数さん mailto:sage [2007/04/29(日) 20:50:08 ]
- >>448
なんだそれ。その程度なのかよ？
語るってレベルじゃねぇーぞｗｗ
- 451 名前：１３２人目の素数さん mailto:sage [2007/04/29(日) 21:53:31 ]
- じゃあ僕は圏論でアメリカ大統領になる！
- 452 名前：１３２人目の素数さん mailto:sage [2007/04/29(日) 21:55:06 ]
- 圏論＝数学
- 453 名前：１３２人目の素数さん [2007/04/29(日) 23:46:02 ]
- 圏論でフィールズ賞を取るぞとかなｗ
夢なんていくらでも言えるって。
質を問わなければ
- 454 名前：１３２人目の素数さん mailto:sage [2007/04/30(月) 00:14:32 ]
- 437の夢はまだマシ、
と言ってるようにもとれる言葉だな
- 455 名前：１３２人目の素数さん mailto:sage [2007/04/30(月) 00:21:59 ]
- 夢にマシも何も無い
- 456 名前：１３２人目の素数さん [2007/04/30(月) 00:33:37 ]
- >>437のは幼稚すぎて話しにならない。
発想が幼稚なわけ。
条件を一般にするというのは最もお手軽な発想。
非可換環のスキームを考えるとかな。
ただし、一般化を考えるのが常に幼稚だって言ってるわけじゃない。
そこに切実な問題意識があれば別。
- 457 名前：１３２人目の素数さん [2007/04/30(月) 00:42:47 ]
- Kroneckerの青春の夢なんていう格調の高いのもあるけどな。
ただしこれは夢というより予想、しかも正しい予想だが。
- 458 名前：１３２人目の素数さん mailto:sage [2007/04/30(月) 00:43:56 ]
- >>455
「質」は問えるんだそうだぜｗ
- 459 名前：１３２人目の素数さん mailto:sage [2007/04/30(月) 02:17:12 ]
- もう予想
- 460 名前：445 mailto:sage [2007/04/30(月) 09:23:01 ]
- それはどうだろうな。
何をもって切実というかは人によって違うから。
お手軽とか幼稚とか人の批判ばかりしてるが、
一般化ってそういうもんじゃないのか？
オレ自身は>>437の話もなかなか面白いと思う。
あんたもあれこれ他人の批判ばかりしてないで
何かもっと高尚なこと書いてみろよ。
オレにはあんたがいちばん幼稚に見えるんだが。
- 461 名前：１３２人目の素数さん [2007/04/30(月) 09:41:08 ]
- >>480
>何をもって切実というかは人によって違うから。
そういうところを突っ込むっていうことは俺の話が分かってないということ。
または分かってないふりをしてるかもしれないが。
要するに問題意識をもって一般化するってことだ。
または、ある問題にぶつかったときそれを解決するために一般化するってこと。
- 462 名前：１３２人目の素数さん [2007/04/30(月) 09:42:34 ]
- >あんたもあれこれ他人の批判ばかりしてないで
>何かもっと高尚なこと書いてみろよ。
上でアーベル圏の問題を出しただろ。
証明してみろよ。
- 463 名前：１３２人目の素数さん [2007/04/30(月) 09:43:23 ]
- 煽りは無視
- 464 名前：１３２人目の素数さん [2007/04/30(月) 09:54:25 ]
- >>463
どのレスを煽りと言ってる？
- 465 名前：１３２人目の素数さん [2007/04/30(月) 12:29:04 ]
- >>445のこと
- 466 名前：１３２人目の素数さん mailto:sage [2007/04/30(月) 12:43:17 ]
- >>462
その程度かよｗ
- 467 名前：１３２人目の素数さん [2007/04/30(月) 13:07:35 ]
- >>466
だからまず証明してみろよ。話はそれからだ。
1 + 1 = 2 もわからないやつに整数論を語っても無意味だろ。
- 468 名前：１３２人目の素数さん mailto:sage [2007/04/30(月) 13:20:35 ]
- exact couple って何の事なの？
- 469 名前：１３２人目の素数さん mailto:sage [2007/04/30(月) 14:00:21 ]
- >>467
何を証明するんだよ。
最近ここ来たばっかで分からんのよ。
アーベル圏の問題って何のことよ？
なんで俺が証明しないとあかんの？
- 470 名前：１３２人目の素数さん [2007/04/30(月) 14:39:30 ]
- >>469
>なんで俺が証明しないとあかんの？
>>466 はあんただろ。
>その程度かよｗ
っていうことは問題も答えも分かってるんだろ
- 471 名前：１３２人目の素数さん mailto:sage [2007/04/30(月) 14:42:39 ]
- >>470
いや、分からないで書いてるだけだからｗ
- 472 名前：１３２人目の素数さん [2007/04/30(月) 14:45:57 ]
- >>471
心でいいよ
- 473 名前：１３２人目の素数さん mailto:sage [2007/04/30(月) 15:00:16 ]
- 上のほうでも証明してみろ証明してみろさんざん
ほざいてるようだけど自分自身で証明してみりゃいいじゃん。
どうせだれにも興味もたれないような問題なんだろ？
キチガイみたいなことばかりいっても煽られるだけだよ。
- 474 名前：１３２人目の素数さん mailto:sage [2007/04/30(月) 15:52:37 ]
- exact couple って何の事なの？
- 475 名前：１３２人目の素数さん [2007/05/01(火) 00:01:08 ]
- >>473
>どうせだれにも興味もたれないような問題なんだろ？
あんたは何もわかってないんだから黙ってろよ。
アーベル圏を少しかじったものにとっては興味がもてる問題だ。
簡単だとほざいてるやつが数名いるから解いて見ろといってる。
- 476 名前：１３２人目の素数さん [2007/05/01(火) 00:16:13 ]
- 煽りは無視で
- 477 名前：１３２人目の素数さん [2007/05/01(火) 00:22:39 ]
- 煽りは無視で
- 478 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 00:49:46 ]
- 深谷圏ってどんな圏？
良い参考書プリーズ。
- 479 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 04:49:34 ]
- 今日からお休みだ。ところで、マグマの話はどうなったの？
- 480 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 09:07:57 ]
- 導来圏について説明プリーズ
- 481 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 10:11:05 ]
- 何でもプリーズ
- 482 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 10:36:40 ]
- 煽りは無視で
- 483 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 10:40:41 ]
- 煽りは無視で
- 484 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 11:39:45 ]
- アーベル圏について説明ｋｗｓｋ
- 485 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 13:39:17 ]
- いつもここに張り付いてる主はどうしたんだ？
- 486 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 15:53:35 ]
- どうでもいいが、ここは夢すら語れないような奴ばっかだな。
- 487 名前：１３２人目の素数さん [2007/05/01(火) 17:23:49 ]
- 目指すべきはグロタンのDerivateursですな。
- 488 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 17:26:06 ]
- Derivateursって何ですか？
- 489 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 17:33:01 ]
- >>488 ttp://www.math.jussieu.fr/~maltsin/groth/Derivateurs.html
- 490 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 17:48:33 ]
- 要は、ｎ-圏のことですね？
- 491 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 20:18:32 ]
- グロタンなどどうでも良い。
グロタンは終わった。
- 492 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 20:48:35 ]
- グロタンの人生って何だったんだろう？
- 493 名前：１３２人目の素数さん [2007/05/01(火) 21:18:58 ]
- >>492
くだらねえな。
あなたにとって人生とは？
とか。
青いにもほどがある
- 494 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 21:22:55 ]
- 青表紙
- 495 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 21:32:36 ]
- グロタンは僕らに夢見ることの楽しさを教えてくれたのさ！
- 496 名前：１３２人目の素数さん mailto:age [2007/05/01(火) 21:38:26 ]
- グロタンは山奥で畑作って生活してんでしょ？
グロタンは仙人になったのさ
- 497 名前：１３２人目の素数さん mailto:sage [2007/05/01(火) 21:55:26 ]
- Grothendieckは山奥で霞とスキームを食って生きているよ。
- 498 名前：１３２人目の素数さん mailto:sage [2007/05/02(水) 05:15:12 ]
- 死んでも2年ぐらい情報が出なさそう・・・
- 499 名前：１３２人目の素数さん mailto:sage [2007/05/02(水) 08:59:25 ]
- exact couple って何の事なの？
- 500 名前：５００ mailto:sage [2007/05/02(水) 09:25:00 ]
- 完全対のこと
- 501 名前：１３２人目の素数さん [2007/05/02(水) 09:45:30 ]
- >>499
そのくらい分かっとるがなこの馬鹿
翻訳厨不要
それ以上の事を聞いて居るんだよ
- 502 名前：１３２人目の素数さん mailto:sage [2007/05/02(水) 11:14:12 ]
- （日本では）圏論が専門というのもあまり聞かんですね。
- 503 名前：１３２人目の素数さん [2007/05/02(水) 11:26:00 ]
- 圏論に詳しい研究者は沢山居る。
- 504 名前：１３２人目の素数さん mailto:sage [2007/05/02(水) 11:35:21 ]
- 代数幾何やってる奴らだけだろ
- 505 名前：１３２人目の素数さん [2007/05/02(水) 11:36:59 ]
- 知識も見識も狭いなお前
- 506 名前：１３２人目の素数さん mailto:sage [2007/05/02(水) 15:44:30 ]
- >>501
そのくらい自分で調べろボケ、ってことだろ？
- 507 名前：１３２人目の素数さん mailto:sage [2007/05/02(水) 17:21:01 ]
- 自分で全部調べろボケ
- 508 名前：１３２人目の素数さん mailto:sage [2007/05/02(水) 19:22:07 ]
- 調べ自分で全部ろボケが
- 509 名前：１３２人目の素数さん mailto:sage [2007/05/02(水) 19:56:49 ]
- アンカー間違えたり恥ずかしいヤシが多いなｗ
- 510 名前：１３２人目の素数さん mailto:sage [2007/05/03(木) 04:16:41 ]
- この調子で1000行くのか？
- 511 名前：１３２人目の素数さん [2007/05/03(木) 10:11:29 ]
- C をアーベル圏として K = { K^n, d^n } を C 上の
コホモロジー複体とする。
. . . ⊃ F^p ⊃ F^(p+1) ⊃ . . .
を K の部分複体の降列とする。
p は 有理整数全体を動く。
完全列
0 → F^(p+1) → F^p → F^p/F^(p+1) → 0
からコホモロジー完全列
H(F^(p+1)) → H(F^p) → H(F^p/F^(p+1)) → H(F^(p+1))
が得られる。
D = { H(F^p) } は p を動かしたとき C の次数付き対象
(graded object) となる。
E = { H(F^p/F^(p+1)) } も同様である。
上の完全列から
完全列
D → D → E → D
が得られる。
D → D → E は exact couple の典型例である。
これからスペクトル系列が得られる。
- 512 名前：１３２人目の素数さん [2007/05/03(木) 12:20:37 ]
- >>511
有難う御座います。
所でスペクトル系列を作る以外に応用（適用）はないのですか？
- 513 名前：１３２人目の素数さん mailto:sage [2007/05/03(木) 12:23:16 ]
- 唐突になんだこいつら……
- 514 名前：１３２人目の素数さん [2007/05/03(木) 12:26:33 ]
- >>513
アホ
- 515 名前：１３２人目の素数さん mailto:sage [2007/05/03(木) 12:34:29 ]
- ふつうに話題を振ることもできない会話力の欠落したアホが沸いただけ
- 516 名前：１３２人目の素数さん [2007/05/03(木) 16:04:57 ]
- >>512
>所でスペクトル系列を作る以外に応用（適用）はないのですか？
知らない。
俺は exact couple と スペクトル系列は殆どイコールと思ってるから、
そういう疑問を持ったことがない。
- 517 名前：１３２人目の素数さん mailto:sage [2007/05/05(土) 12:44:15 ]
- やっぱりここは夢を語れる人間がいないとだめだなぁ。
- 518 名前：１３２人目の素数さん mailto:sage [2007/05/06(日) 14:05:17 ]
- でもすぐ夢語るやつに限って、こういうとこはイケヌマが多いからなあ。
- 519 名前：１３２人目の素数さん [2007/05/06(日) 17:17:08 ]
- 圏論に変なロマンを持つんじゃないよ
- 520 名前：１３２人目の素数さん mailto:sage [2007/05/06(日) 17:24:50 ]
- で、まっとうなロマンってなに？
- 521 名前：１３２人目の素数さん mailto:sage [2007/05/06(日) 17:40:43 ]
- お前余程の馬鹿だな
- 522 名前：１３２人目の素数さん mailto:sage [2007/05/06(日) 18:30:40 ]
- 自分のことを棚に上げるなよ
- 523 名前：１３２人目の素数さん mailto:sage [2007/05/06(日) 18:35:35 ]
- ところでおまえら、モチーフって分かったか。俺は分かったよ。
- 524 名前：１３２人目の素数さん mailto:sage [2007/05/06(日) 23:57:22 ]
- だからどうした
- 525 名前：１３２人目の素数さん mailto:sage [2007/05/07(月) 01:07:52 ]
- おまえに分かるか？
- 526 名前：１３２人目の素数さん mailto:sage [2007/05/07(月) 22:40:32 ]
- だいたいおまえらはな、学問に対する情熱がなさすぎるんだよ。
数学にロマンを抱けないようなやつは数学やっても無駄だろ。
- 527 名前：１３２人目の素数さん mailto:sage [2007/05/10(木) 22:51:02 ]
- それはない
- 528 名前：１３２人目の素数さん [2007/05/12(土) 10:01:42 ]
- 数学者を妻帯者に例えると >>526 は童貞だなｗ
セックスというか女に変なロマンを持ってる。
|
 |
