圏論 / カテゴリー論 / Category Theory 2

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 802 名前：１３２人目の素数さん [2005/09/09(金) 14:23:02 ] >>801 明日の午後５時、渋谷のハチ公のところに金をもってきてくれ。 最低でも３万以上(それ以下だと出かけるのが面倒)。 こちらがわかるように、白いハンカチを目立つように手に持って立っているように。 ハチ公の１メートル以内に立っていてくれ。 803 名前：１３２人目の素数さん [2005/09/09(金) 14:28:11 ] >>802 振りこませりゃいいのに 口座もってないのかな坊やww 804 名前：１３２人目の素数さん mailto:sage [2005/09/09(金) 14:53:51 ] 寧ろ黄色いハンカチを洗濯物干しに 沢山干しておいてくれ 805 名前：１３２人目の素数さん [2005/09/09(金) 15:03:06 ] >>804 運動会の万国旗のように1枚どころか 無数の黄色いハンカチを吊るしていてくれたら おまえ泣いてくれるか？ 806 名前：１３２人目の素数さん mailto:sage [2005/09/09(金) 16:39:14 ] 不器用っすから 807 名前：１３２人目の素数さん mailto:sage [2005/09/10(土) 02:55:46 ] >>800 芸をみがかないとだめの後で「それなら金」のつながりが論理的じゃないw 808 名前：１３２人目の素数さん mailto:sage [2005/09/10(土) 13:20:56 ] 馬鹿だなぁ、583が本当に求めているものは、金なんかじゃない。 本当は奴は、「愛」に飢えているのさ。そんなことも分からんの かこのボケが！（笑 809 名前：１３２人目の素数さん [2005/09/10(土) 15:25:01 ] Verdierってなんで亡くなったんだっけ？ 810 名前：名無しさん＠そうだ選挙に行こう [2005/09/10(土) 20:12:11 ] >>809 謀殺説が有力 オカマバーで女性用下着いっちょで死んでいた 811 名前：名無しさん＠そうだ選挙に行こう [2005/09/11(日) 13:57:28 ] >>809　アルプスへのドライブの途中、車ごと夫婦で転落死。 812 名前：１３２人目の素数さん [2005/09/12(月) 01:39:23 ] >>811 車に爆弾が仕掛けられた跡があったらしいな 現場に「サバイバル」誌がなぜかあったとか それらに気がついた刑事に上から圧力がかかって 事故ということで無理に処理されたとか 813 名前：１３２人目の素数さん mailto:sage [2005/09/12(月) 08:24:52 ] ﾂﾏﾝﾈ 814 名前：１３２人目の素数さん mailto:sage [2005/09/14(水) 06:19:16 ] 【宇宙の鍵】グロタンディーク�W【Motifs】 science4.2ch.net/test/read.cgi/math/1126626669/l50 815 名前：１３２人目の素数さん [2005/09/16(金) 09:58:18 ] direct limitのことを詳しく書いているサイトとかありますか？ 816 名前：１３２人目の素数さん mailto:sage [2005/09/19(月) 11:30:23 ] >>815 >direct limit は加群の短完全系列を保つのに対して、 inverse limit は必ずしも保たない。 このくらいは分かっているよね。 817 名前：１３２人目の素数さん mailto:sage [2005/09/19(月) 23:36:43 ] 極限、逆極限どっちも加群、環のレベルで知ってればいいと思うんだが 圏のレベルで定義しておくことに意味はあるんだろうか 818 名前：１３２人目の素数さん mailto:sage [2005/09/20(火) 09:36:29 ] >>817 ガロアカテゴリーとかで使うじゃん pro-object 819 名前：１３２人目の素数さん mailto:sage [2005/09/20(火) 10:02:10 ] 計算機では順序集合の極限を使うよ 820 名前：１３２人目の素数さん mailto:sage [2005/09/21(水) 05:18:18 ] >>816 いや、そもそも定義がよく分からないのです。 821 名前：１３２人目の素数さん mailto:sage [2005/09/21(水) 06:41:44 ] >>820 何がわからんの？定義は対角函手への普遍射をdirect limit， 対角函手からの普遍射をinverse limitという，だけど． 822 名前：１３２人目の素数さん mailto:sage [2005/09/21(水) 07:30:26 ] >>820 その対角函手と普遍射とは何ですか？　何も知らなくてすいません。 823 名前：１３２人目の素数さん mailto:sage [2005/09/21(水) 07:38:54 ] >>822 あっ、ずれました。>>821です。 824 名前：１３２人目の素数さん [2005/09/21(水) 08:44:09 ] c ∈ C から函手 S: D → C への普遍射とは r ∈ D と u: c → S r の対 <r, u> で， 任意の d ∈ D と射 f: c → S d の対 <d, f> に対して f': r → d が一意に存在して f = (S f') u と分解できるものをいう．S からの普遍射はこの双対で定義． C^J を圏 J から圏 C への函手の圏とするとき，対角函手 Δ: C → C^J とは c ∈ C を，Δc: ∀j → c に写す函手．J が普通の集合だったら，j を添字と思って c を添字の分だけコピーする函手と思って大丈夫． ……ってか何でこのあたりから説明が必要なのに direct lim. なんて知りたくなったんだ？ 自分で本を読むか，もっとストレートに知りたいことを聞いたほうが早いと思うが． 825 名前：821 mailto:sage [2005/09/21(水) 08:45:05 ] sage忘れたし名前入れ忘れたし……吊ってくる 826 名前：１３２人目の素数さん [2005/09/21(水) 09:40:21 ] 極限は対角関手の随伴関手として定義してもいい。 このように考えたほうがむしろいいだろう。 これから逆極限の左完全性が自動的に出る。 827 名前：１３２人目の素数さん mailto:sage [2005/09/21(水) 10:56:34 ] >>824 わざわざ、どうもありがとうございました。なぜ、知りたくなったのかというと、 代数幾何の本を読んでて、層の茎を定義するときに、direct limitが登場するでしょ、 一応、そこには群論的な定義（セクションの直和をある同値関係で割る）が書いてあったんだけど、 圏論的な定義が書いてなかったので、ちょっと知りたくなったのです。 828 名前：１３２人目の素数さん mailto:sage [2005/09/22(木) 11:48:35 ] >群論的な定義（セクションの直和をある同値関係で割る） （）内のどこが群論的なのか？ 829 名前：１３２人目の素数さん mailto:sage [2005/09/22(木) 11:52:27 ] 群論的っつーか集合論的だろ 830 名前：１３２人目の素数さん mailto:sage [2005/09/22(木) 21:09:28 ] >>273 ＞Mitchellの定理は ＞small abelian category が環上の加群の圏に ＞完全関手によって埋め込めるという定理 この定理の証明ってどうやるんでしょうか？もしWeb上で読めるところがあったら どなたかお教え願いないでしょうか。できれば日本語か、英語だといいのですが。 831 名前：１３２人目の素数さん mailto:sage [2005/09/22(木) 22:28:02 ] >>830 Aをsmall abelian categoryとしてAdfun(C,ModZ)をCからModZへのadditive functorのなす アーベル圏としcovariant fully faithful embedding h:C^op→Adfun(C,ModZ)を h(X)=C(X,-)でさだめる。このままでは残念ながらexactではないのでAdfun(C,ModZ)上の torsion theory TをT={Cok C(-,f) | f:X→Yはepi}で生成されるtorsion theoryとしてさだめる。 Q:Adfun(C,ModZ)→Adfun(C,ModZ)/TをlocallizationとするとQ･hがexact fully faithful contravariant になることがしめせる。さらにAdfun(C,ModZ)/Tはenough injectiveになるのでE=Π[X∈C]Q･h(X)、 R=End(E)とおきcovariant functor G:Adfun(C,ModZ)/T→Mod RをG=Adfun(C,ModZ)/T(-,E)で さだめる。するとF=GQhがfully faithful exact additive functorになることが示せる。 ｢Algebra I｣って教科書に載ってたはずなんだけど。著者名おもいだせん。orz。 832 名前：831 mailto:sage [2005/09/22(木) 23:42:45 ] 訂正 ×torsion theory TをT={Cok C(-,f) | f:X→Yはepi}で生成されるtorsion theoryとしてさだめる。 ○torsion theory TをT={Cok C(f,-) | f:X→Yはmono}で生成されるtorsion theoryとしてさだめる。 833 名前：１３２人目の素数さん mailto:sage [2005/09/23(金) 08:52:26 ] >>831 すんげー感謝！！！まだtorson theoryとか知らないんで時間はかかるかも しれないけど何とか解読に挑戦します。 ｢Algebra I｣の著者ってもしかしてCarl Faith？だとしたらアマゾンで在庫切れなんだなあ。 恐ろしく残念。 834 名前：１３２人目の素数さん [2005/09/25(日) 18:30:53 ] (hereditary) torson theory 等勉強する必要なし。 835 名前：１３２人目の素数さん mailto:sage [2005/09/25(日) 18:31:17 ] 　　　（.:::.:::.:::.:::.:::.:::.:::.:::.:;:､;:;∠二:.ヽ｀ヽ.:.:.:.:.:.:.:��、 　　　　）:.:::.:::.:::.:::.:::.;　'´　／／〈.:.:.:.:＼ ＼.:.:.:.:.:.:.::ヽ-へ 　　ｒ''".:::.:::.:::.:::.:::／　/ /　/ ハ `ｰ‐┐＼ ヽ:.:.:.:.:.:.:ﾉ=ﾆ):＼ 　　{ ::.:::.:::.:::.:::.; ′　　/ 　 　 　|　　　{_:.:.:.ヽ ヽ:.:.:.(二｀V/＾):､ 　　 ￣つ.:::.::/ 　 /　,′　　　　| 　 　| ￣ヽﾊ. i.:.:.:.:.｀i!ヽ.!_/:./ 　　　（:.:::.:::.::!l!　 l 　i　　　　　 |l!　　 |　　ノ:.:.| |:.:.:.:.:.:||:.ﾄ､;:ノ 　　　　｀７:.::|l| 　|　ﾊ　　　　　 ;'|　　　　 し-､| |:.:..:_ノ.|.:| | 　　　　　 ヽ|H　 |　| l__,　　　 / |　　/　 /　ノ|/:.:ん. l |:.| | 　　　　　　 |ｌ!ヽ. 代「 ヽ.　 , / `ト､/!　,ｲ. く:.:/:.; -┘| L｣ ! 　　　 　 　 |　 l Ｎ.--ミ ヽ/ｿ　_ﾚ'´ lメ /／ |／　 |　|　　 | 　　　 　 　 |　 ! |l,ｨ^h.､　　　 ´￣ ヽ　1　　| 　 　 |　|　　 | 　ちんちん 　　　　　　 | ！（ { { | |　' ＿,　"""　ﾉ!| 　 |　　　 |　|　　 | 　ちっちゃいね 　　　　　　！.| |_＼　 ヽ、 　　 _,. ＜._| !　 |ヽ.　　 |　|　　 | 　 　 　　 　 !/〈.:.:.Y_>､　}､￣´;:;:;:;:;:;://| 　|:.:.::',　　ｌ　l 　　| 　　　　　　 ム-レく.:.:.:_}ﾉ:@;:ニ、;:;:;//;:;! ､|:.:.:.:.:L_　!　!　　| 　　 　 _,.∠=ﾆ〈:.:.:.:.:.:.:.:.:.:.:/ﾆ　 V;〈〈_;/|　ヽ:.:.:.:.:.:L_l　!　　| 　　　 `ｰﾆ二_‐ﾍ.:.:.:.:.:.:.:.:(ﾞこ 　/'^ﾍ V:.:＼　＼:.:.:.:.:{! |　　 ! 　　　　　＜:.:.:.￣} .:.:.:.:.:.:.:｀}　ノ:.:..:.ハ V:.:_＞- ヽ.:.:.:.} |　　 i 　　　　　　|_＞'７.:.:.:.:.:.:.:.:.:.:Y.:.:.:.:.:.:.:.::.:>'"　　／:.:r‐'´〉、　　i 836 名前：GiantLeaves ◆6fN.Sojv5w [2005/09/25(日) 19:30:07 ] 圏の巨大さに比べれば。 837 名前：１３２人目の素数さん [2005/09/25(日) 20:43:44 ] おっぱい ぺったんこね 838 名前：１３２人目の素数さん mailto:sage [2005/09/27(火) 22:38:45 ] >>828 アーベル群の層を考えていたので・・・ >>829 まあ、集合論的と言った方がいいでしょうが・・・ 839 名前：１３２人目の素数さん mailto:sage [2005/10/08(土) 15:50:18 ] 903 840 名前：１３２人目の素数さん [2005/10/10(月) 21:42:15 ] Grothendieck位相学ぶには何読めばいいですか 841 名前：１３２人目の素数さん mailto:sage [2005/10/11(火) 05:45:25 ] 全部の圏を集めたような圏てあるんですか？ 842 名前：１３２人目の素数さん mailto:sage [2005/10/11(火) 07:41:13 ] 小さい圏の圏ならある 843 名前：１３２人目の素数さん mailto:sage [2005/10/11(火) 10:46:09 ] 名前とかあるんですか？ 844 名前：１３２人目の素数さん mailto:sage [2005/10/11(火) 10:52:08 ] Cat 845 名前：１３２人目の素数さん mailto:sage [2005/10/11(火) 11:19:08 ] Thx 846 名前：１３２人目の素数さん [2005/10/11(火) 12:43:42 ] Hand book of K-theory , Springer (Eric Friedlander & Dan Grayson) kore yondahitoiru?? 847 名前：１３２人目の素数さん mailto:sage [2005/10/12(水) 02:26:16 ] muzukasii. wakaranakatta. 848 名前：１３２人目の素数さん mailto:sage [2005/10/12(水) 08:25:20 ] Mitifs daro ? 849 名前：１３２人目の素数さん [2005/10/27(木) 15:46:07 ] Theory汐留支店 こちらの方もよろしく！！ www.shiodome-theory.com/ 850 名前：１３２人目の素数さん mailto:sage [2005/11/18(金) 10:49:45 ] 968 851 名前：１３２人目の素数さん [2005/11/20(日) 18:40:41 ] Wikipediaに圏論の項目が出来てるので、訂正・加筆よろ ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96 852 名前：１３２人目の素数さん [2005/11/26(土) 06:34:57 ] ローヴェルの不動点定理とヴァレラのオートポイエーシスについて。 853 名前：１３２人目の素数さん [2005/11/26(土) 06:45:07 ] >>852 意味が分かりません 854 名前：１３２人目の素数さん mailto:sage [2005/11/26(土) 07:38:24 ] ペギオの内部観測について。 855 名前：１３２人目の素数さん mailto:sage [2006/01/02(月) 00:38:37 ] 902 856 名前：１３２人目の素数さん mailto:sage [2006/01/02(月) 16:00:42 ] あやうくdat落ちするところだったのか まさかカウント厨に救われるとは・・・ 857 名前：１３２人目の素数さん mailto:sage [2006/01/02(月) 16:02:42 ] >>856 science4.2ch.net/test/read.cgi/math/1125450000/928 狙っての事でしょ。 858 名前：１３２人目の素数さん mailto:sage [2006/01/02(月) 16:04:39 ] うんそれを読んだから856を書いたの 859 名前：１３２人目の素数さん [2006/01/02(月) 17:28:38 ] age 860 名前：１３２人目の素数さん [2006/01/02(月) 17:31:20 ] 今年の建部崩れの主要な受賞業績の一つは 既に2003年に刊行されているから、成果に 無関係に退場命令が出た例だ。まあ、彼の 場合は風営法違反で排除勧告が出たのかも しれん。ヘルスの行き杉には気を付けよう science4.2ch.net/test/read.cgi/math/1128350775/451-460 861 名前：１３２人目の素数さん [2006/01/03(火) 07:35:35 ] Borceaux Handbook of categorical algebra. kore iino?? 862 名前：１３２人目の素数さん [2006/01/03(火) 11:30:59 ] ヘルス男 863 名前：１３２人目の素数さん mailto:sage [2006/01/08(日) 14:52:34 ] >>861 厚すぎる 864 名前：１３２人目の素数さん mailto:sage [2006/01/08(日) 18:46:36 ] 確かに、あれは全部読もうと思ったらかなり大変そうだよなー かなり詳しい事まで書いてあるみたいだから目的によってはいいんじゃない 865 名前：１３２人目の素数さん [2006/01/10(火) 10:15:49 ] age 866 名前：１３２人目の素数さん [2006/01/10(火) 10:39:04 ] 確かに、あれは全部読もうと思ったらかなり大変そうだよなー かなり詳しい事まで書いてあるみたいだから目的によってはいいんじゃない Thanks!! 867 名前：１３２人目の素数さん [2006/01/12(木) 05:07:08 ] Weibel, osusume!! 868 名前：１３２人目の素数さん mailto:sage [2006/02/05(日) 06:10:36 ] 245 869 名前：１３２人目の素数さん [2006/02/15(水) 11:25:48 ] 圏論ってのは、これまでの数学で研究されてきたものを統合して一般化する ためにつくられたものなんですか？すみません。しろーとなんで分かりません。 870 名前：１３２人目の素数さん [2006/02/15(水) 22:17:01 ] 独断と偏見を込めて述べるなら層論とコホモロジーの要請からじゃないか 871 名前：１３２人目の素数さん mailto:sage [2006/02/15(水) 23:00:07 ] >>869 ちがいます 以上 872 名前：１３２人目の素数さん mailto:sage [2006/03/02(木) 18:10:21 ] 489 873 名前：中川泰秀 ◆.lNDtOTQWY mailto:sage [2006/03/13(月) 15:39:03 ] 以下 874 名前：１３２人目の素数さん [2006/03/14(火) 04:38:09 ] age 875 名前：１３２人目の素数さん mailto:sage [2006/03/26(日) 14:23:40 ] 876 名前：１３２人目の素数さん [2006/03/28(火) 17:43:19 ] どっちだ 877 名前：１３２人目の素数さん [2006/04/14(金) 21:01:07 ] ﾄﾃﾄﾃ 878 名前：878 mailto:sage [2006/04/14(金) 21:08:28 ] 8!/7!=8 879 名前：１３２人目の素数さん mailto:sage [2006/04/16(日) 01:00:23 ] 880 名前：１３２人目の素数さん mailto:sage [2006/04/23(日) 10:13:14 ] 三角圏とAble圏の違いって短完全列に関するところだけですか？ 881 名前：１３２人目の素数さん mailto:sage [2006/04/23(日) 21:42:26 ] 　　　　　　　　　　　　　　 　 　　　　 　　 　┌-―ー-'; 　　　　　　　　　　　　　　　　　　　 　 　 　　|(´･ω･`)ﾉ 知らんがな 　　　　　　　　　 　 　　 ＿＿＿＿ 　　　　上―-―' 　　　＿＿＿＿ 　　　　　　 　　　　　　　| (´･ω･`) | 　　／　 ＼　　　 　　 | (´･ω･`) | 　　　　　　　　　　 　 　 |￣￣￣￣ 　 （￣￣￣） 　 　 　 |￣￣￣￣ 　 　 　 　 　　 　 　 　 ∧ 　　　　　　 （[[[[[[|]]]]]） 　 　 ,∧ 　　　　　　　　　　　　<⌒>　 　 　 　 [=|=|=|=|=|=]　　　<⌒> 　　　　　　　　　　　／⌒＼ 　 　 　 _|iﾛi|iﾛiiﾛi|iﾛ|_∧ ／⌒＼_ 　　　　　　　　　　　］皿皿［-∧-∧|ll||llll||lllｌ||lllｌ|lll|￣|]皿皿[_| 　　　　　　　　　　　|_／＼_|,,|「|,,,|「|ﾐ^!､|]|[|]|[|][]|_.田 | ∧_ 　] 　　　　　　　　　　　| . ∩　 |'|「|'''|「|||:ll;|||}{|||}{|||}{|||}{|,田田.|__| 　　　　　　　　　　　|￣￣￣￣|「|￣￣||[[|門門門|]]|[_[_[_[_[_[ 　　　　　　　　　　／i~~i' l ∩∩l　.ｌ　∩　∩　 l　　|__| .| .∩|　.|　l-, 　　　　　　　,,,,,='~|　|　|' |,,=i~~i==========|~~|^^|~ ~'i----i==i,, | 'i 　　 　 　 　 |　l ,==,-'''^^　 l　 |. ∩. ∩. ∩. |　 |∩| 　 |∩∩|　 |~~^i~'i、 　　　　　 ,=i^~~.|　 |.∩.∩ |,...,|__|,,|__|,,|__|,,|__|,....,||,,|.|,.....,||,|_|,|.|,....,| 　 |　|~i 　　　　 l~| .|　　|　,,,---== ヽﾉ　　　 i　　　　ヽﾉ~~~ ヽﾉ　　 ~ ソ^=-.i,,,,|,,,| 　　　　.|..l　i,-=''~~--,,,　　＼　 ＼　 l　　　／　　　／　　　　／　　__,-=^~ 　　　　|,-''~　-,,,＿　　~-,,.　 ＼ .＼ |　.／　　 ／　　＿,,,-~　 　／ 　　　　 ~^''=、＿ _ ^'- i=''''''^~~~~~~~~~~~~~~~~~~~~^''''''''=i -'^~ 　　　　　　　　　　 ~^^''ヽ　ヽ 　i　kingｷｬｯｽﾙ　/　 ／　 ノ 　　　　　　　　　　　　　　ヽ　　、 l　 |　 ｌ　 l　/ .／　　／ 　　　　　　　　　　　　 　 　 ＼_　、i ヽ　 i　 /　　　,,==' 　　　　　　　　　　　　　　　　　 ''==,,,,＿＿＿,,,=='~ 882 名前：GiantLeaves ◆6fN.Sojv5w [2006/04/23(日) 22:47:42 ] talk:>>881 私の城を用意してくれるのか？ 883 名前：１３２人目の素数さん mailto:sage [2006/04/23(日) 23:11:16 ] すぐ落ちそうな城だな。 884 名前：GiantLeaves ◆6fN.Sojv5w [2006/04/24(月) 08:09:24 ] talk:>>883 では落ちそうでない城を考案してみろ。 885 名前：中川秀泰 [2006/04/24(月) 10:04:11 ] そうしろ 886 名前：１３２人目の素数さん mailto:sage [2006/04/24(月) 13:00:01 ] kingの文字を取ればよい。 887 名前：GiantLeaves ◆6fN.Sojv5w [2006/04/24(月) 13:11:40 ] talk:>>886 何考えてんだよ？ 888 名前：１３２人目の素数さん mailto:sage [2006/04/24(月) 13:28:29 ] 　　　　　　　　　　 　 　　　　 　　 　┌-―ー-'; 　　　　　　　　　　　　　　　 　 　 　　|(´･ω･`)ﾉ 知らんがな 　　　　　 　 　　 ＿＿＿＿ 　　　　上―-―' 　　　＿＿＿＿ 　　 　　　　　　　| (´･ω･`) | 　　／　 ＼　　　 　　 | (´･ω･`) | 　　　　　　 　 　 |￣￣￣￣ 　 （￣￣￣） 　 　 　 |￣￣￣￣ 　 　 　 　 　 ∧ 　　　　　　 （[[[[[[|]]]]]） 　 　 ,∧ 　　　　　　　　<⌒>　 　 　 　 [=|=|=|=|=|=]　　　<⌒> 　　　　　　　／⌒＼ 　 　 　 _|iﾛi|iﾛiiﾛi|iﾛ|_∧ ／⌒＼_ 　　　　　　　］皿皿［-∧-∧|ll||llll||lllｌ||lllｌ|lll|￣|]皿皿[_| 　　　　　　　|_／＼_|,,|「|,,,|「|ﾐ^!､|]|[|]|[|][]|_.田 | ∧_ 　] 　　　　　　　| . ∩　 |'|「|'''|「|||:ll;|||}{|||}{|||}{|||}{|,田田.|__| 　　　　　　　|￣￣￣￣|「|￣￣||[[|門門門|]]|[_[_[_[_[_[ 　　　　　　／i~~i' l ∩∩l　.ｌ　∩　∩　 l　　|__| .| .∩|　.|　l-, 　　　,,,,,='~|　|　|' |,,=i~~i==========|~~|^^|~ ~'i----i==i,, | 'i 　 　 |　l ,==,-'''^^　 l　 |. ∩. ∩. ∩. |　 |∩| 　 |∩∩|　 |~~^i~'i、 　 ,=i^~~.|　 |.∩.∩ |,...,|__|,,|__|,,|__|,,|__|,....,||,,|.|,.....,||,|_|,|.|,....,| 　 |　|~i l~| .|　　|　,,,---== ヽﾉ　　　 i　　　　ヽﾉ~~~ ヽﾉ　　 ~ ソ^=-.i,,,,|,,,| .|..l　i,-=''~~--,,,　　＼　 ＼　 l　　　／　　　／　　　　／　　__,-=^~ |,-''~　-,,,＿　　~-,,.　 ＼ .＼ |　.／　　 ／　　＿,,,-~　 　／ ~^''=、＿ _ ^'- i=''''''^~~~~~~~~~~~~~~~~~~~~^''''''''=i -'^~ 　　　　　　 ~^^''ヽ　ヽ 　i　　ｷｬｯｽﾙ　　/　 ／　 ノ 　　　　　　　　　　ヽ　　、 l　 |　 ｌ　 l　/ .／　　／ 889 名前：１３２人目の素数さん mailto:sage [2006/04/24(月) 13:29:36 ] 　　　　　　　　 　 　 ＼_　、i ヽ　 i　 /　　　,,==' 　　　　　　　　　　　　　 ''==,,,,＿＿＿,,,=='~ 　　　 ヽ￣　 　　　　　／￣　　　　　｀⌒＼ 　　　　　 ` __　',‐.　 /　　＿|　　　　 |　　　|　　　　　　　　　　　　　　　,,,,,,,,,,,,, 　　　　　　 ヽヽ 　 /　　/　 ＼　　　 |　　　|　　　　　　　　　　,,,,,,,iiiiillllll!!!!!!!lllllliiiii,,,,,, 　　　　　　　 ＼＼|　　|＿＿__|　　　.|　　 |　　　　　　 　 　 .,llllﾞﾞﾞﾞﾞ　　　　　　　　ﾞﾞﾞﾞﾞlllll, 　　　　　　　　 ＼/　　＼　　　　　　 |　　 |　　　　　　 　 　 .|!!!!,,,,,,,,　　　　　　 ,,,,,,,,,!!!!| 　　　　　　　　　| ヽ＿「＼　　　　　　|　　 |､　　　　　　　　　|　 ﾞﾞﾞﾞ!!!!llllliiiiiiiiiilllll!!!!ﾞﾞﾞﾞ　.| 　　　　　　　　　|　　　 ＼ ＼――､. |　　 | ヽ. 　　　　　　　 |　　　　　 ﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞ　　　 　 | 　　　　　　　　　|　　　/　＼ "-､,　 ｀|　　|　　ヽ　　　　　　　|　　　　　　　　　　　　　　| 　　　　　　＿／　　　/　　　 "-, "' （_　　ヽ　　ヽ　　　　　　.|　　　　　　　　　　　　　　| 　　　　　／　　　＿_ノ　　　　　　"'ｍ__｀＼ヽ_,,,, ヽ　　 　 　 |　　　　　　　　　　　　　　| 　　　　　｀ー―￣　　　　　　　　　ヽ､__｀/ー_,,,, ﾞﾞﾞﾞ!!!!!!!lllllllliii|　　　　　　　　　　　　 　 | 890 名前：１３２人目の素数さん mailto:sage [2006/04/24(月) 13:30:25 ] 　　　　　　　　　　　　　　　　　　　　　　　　＼ﾞﾞﾞﾞﾞﾞﾞ!!!!!lllllllliiiii|　　　　　　　　　　　　　　| 　　　　　　　　　　　　　　　　　　　　　　　　　 ＼　　　ヽ　 　|　　　　　　　　　　　 　　 | 　　　　　　　　　　　　　　　　　　　　　　　　　　　ヽ　 　＼　 |　　　　　　　　　　　　 　 | 　　　　　　　　　　　　　　　　　　　　　　　　　　　　| 　 　 ＼.|　　　　　　　　　　　　 　 | 　　　　　　　　　　　　　　　　　　　　　　　　　　　　｀ヽ､,,＿ノ|　　　　　　　　　　　　 　 | 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 |　　　　　　　　　　　　 　 | 　　　　　　　　　　　　　　　　　 　 　 　 　 　 　 　 　 　 　 　 |,,　　　　　　　　 　 　 　 ,,| 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ﾞﾞ!!!,,,,,,,,　　　　　　 ,,,,,,,,,!!!ﾞﾞ 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　 　 　 　 ﾞﾞﾞﾞ!!!!llllliiiiiiiiiilllll!!!!ﾞﾞﾞﾞ 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　／.// ･ｌ|∵ ヽ＼←king 891 名前：GiantLeaves ◆6fN.Sojv5w [2006/04/24(月) 14:58:59 ] talk:>>890 お前に何が分かるというのか？ 892 名前：１３２人目の素数さん [2006/04/24(月) 16:34:36 ] 　　　　　　　　　　　 　 　　　　 　　 　┌-―ー-'; 　　　　　　　　　　　　　　　　　　　 　 　 　　|(´･ω･`)ﾉ 知らんがな 　　　　　　　　　 　 　　 ＿＿＿＿ 　　　　上―-―' 　　　＿＿＿＿ 　　　　　　 　　　　　　　| (´･ω･`) | 　　／　 ＼　　　 　　 | (´･ω･`) | 　　　　　　　　　　 　 　 |￣￣￣￣ 　 （￣￣￣） 　 　 　 |￣￣￣￣ 　 　 　 　 　　 　 　 　 ∧ 　　　　　　 （[[[[[[|]]]]]） 　 　 ,∧ 　　　　　　　　　　　　<⌒>　 　 　 　 [=|=|=|=|=|=]　　　<⌒> 　　　　　　　　　　　／⌒＼ 　 　 　 _|iﾛi|iﾛiiﾛi|iﾛ|_∧ ／⌒＼_ 　　　　　　　　　　　］皿皿［-∧-∧|ll||llll||lllｌ||lllｌ|lll|￣|]皿皿[_| 　　　　　　　　　　　|_／＼_|,,|「|,,,|「|ﾐ^!､|]|[|]|[|][]|_.田 | ∧_ 　] 　　　　　　　　　　　| . ∩　 |'|「|'''|「|||:ll;|||}{|||}{|||}{|||}{|,田田.|__| 　　　　　　　　　　　|￣￣￣￣|「|￣￣||[[|門門門|]]|[_[_[_[_[_[ 　　　　　　　　　　／i~~i' l ∩∩l　.ｌ　∩　∩　 l　　|__| .| .∩|　.|　l-, 　　　　　　　,,,,,='~|　|　|' |,,=i~~i==========|~~|^^|~ ~'i----i==i,, | 'i 　　 　 　 　 |　l ,==,-'''^^　 l　 |. ∩. ∩. ∩. |　 |∩| 　 |∩∩|　 |~~^i~'i、 　　　　　 ,=i^~~.|　 |.∩.∩ |,...,|__|,,|__|,,|__|,,|__|,....,||,,|.|,.....,||,|_|,|.|,....,| 　 |　|~i 　　　　 l~| .|　　|　,,,---== ヽﾉ　　　 i　　　　ヽﾉ~~~ ヽﾉ　　 ~ ソ^=-.i,,,,|,,,| 　　　　.|..l　i,-=''~~--,,,　　＼　 ＼　 l　　　／　　　／　　　　／　　__,-=^~ 　　　　|,-''~　-,,,＿　　~-,,.　 ＼ .＼ |　.／　　 ／　　＿,,,-~　 　／ 　　　　 ~^''=、＿ _ ^'- i=''''''^~~~~~~~~~~~~~~~~~~~~^''''''''=i -'^~ 　　　　　　　　　　 ~^^''ヽ　ヽ 　i　kingｷｬｯｽﾙ　/　 ／　 ノ 　　　　　　　　　　　　　　ヽ　　、 l　 |　 ｌ　 l　/ .／　　／ 　　　　　　　　　　　　 　 　 ＼_　、i ヽ　 i　 /　　　,,==' 　　　　　　　　　　　　　　　　　 ''==,,,,＿＿＿,,,=='~ 893 名前：GiantLeaves ◆6fN.Sojv5w [2006/04/24(月) 17:17:30 ] talk:>>892 私を呼んだか？ 894 名前：１３２人目の素数さん [2006/05/05(金) 17:21:52 ] ブルバキスタイルの欠点について教えてくれ。 895 名前：１３２人目の素数さん mailto:sage [2006/05/05(金) 18:26:09 ] じゃあまずそのブルバキスタイルとやらの定義を述べてくれ。 896 名前：１３２人目の素数さん [2006/05/05(金) 19:34:47 ] >>895 ブルバキスタイルを知らんで、俺より圏論が語れるとは思えんな。 897 名前：１３２人目の素数さん mailto:sage [2006/05/05(金) 20:20:50 ] ブルバキひとつ、って言っても普通にプルコギ持ってくるし 898 名前：１３２人目の素数さん mailto:sage [2006/05/05(金) 20:52:41 ] >>896 お前が何もわかってなさそうだったから聞いたんだよ。 899 名前：み ◆..MI..L.nU mailto:sage [2006/05/05(金) 20:55:57 ] >>892パソから見たけど、凄い〜AA作るの大変そう 900 名前：１３２人目の素数さん mailto:sage [2006/05/06(土) 02:47:41 ] ブルバキのスタイルって言っても色々あるし 901 名前：１３２人目の素数さん mailto:sage [2006/05/06(土) 05:42:29 ] >>897 お前が何もわかってなさそうだったから出したんだよ。 902 名前：１３２人目の素数さん mailto:sage [2006/05/06(土) 06:18:36 ] ブル履きを調べてたんだが、やっぱり散見的なんだよ。 ぶっちゃけ相対論以後に、数学を再定義しようとした試みだろ。 もちろん、若気の至るジョークがらみだったけど。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef