13/03/27 11:25:00.90
圏論全般のスレ 復活
■前スレ
圏論 / カテゴリー論 / Category Theory 3
ｽﾚﾘﾝｸ(math板)
圏論 / カテゴリー論 / Category Theory 2
ｽﾚﾘﾝｸ(math板)
なんで圏論なんてもんがあんのよ？
URLﾘﾝｸ(makimo.to)
2:１３２人目の素数さん
13/03/27 13:30:15.44
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/
. | ＼ ∠イ ,ｲイ| ,`-' |
| l＾,人| ` `-' ゝ | このスレは馬と鹿と豚さんばかりね。
| ` -'＼ ｰ' 人
| /(l ＿＿／ ヽ、
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
3:１３２人目の素数さん
13/03/27 13:48:01.73
__,.-───‐-.__
_,-´ ｀-、
／ ＼
/ ヽ _,,,,,,_ ,,,,,,,,_
. / ,､ /７ ,-､ ヽlllllllllllliilllllllllllll ＿
./ ( <. | l // illllllllllllllllllllllllllilllllllllli
i ヽ＼,.ィ´ .ﾆﾆェ‐､// ili;ﾞllllllllllllllllllllllllllllll!ﾞ
| >､＜○> <。>) 〈 |,-‐ __ﾞﾞﾞﾞ;llli;、
| // ´ ﾉ( ､_, )ヽ ﾍﾍ 嫌なら | i ﾞllllli
.! | l ノ､ ＿_!!,.､ | l 見るな！/ ＾ ﾞllll
..!、 ﾍﾍ. ヽニﾆｿ ././ / c ＾ ﾞll,,;illli;
｀、 ヽヽﾍ、____,,..ィ,ﾝ′ / ７llll!_
. ＼ `''‐---‐''´ ／ ー---っ ,liillllllllll!
. ＼ ／ ＼ └‐´ ／ﾞllll/7＿_
｀ー-､＿ ＿,-く＿ _二7 r─ ´ i i 三
￣￣￣ / ___)_)＜ ||､フくﾌ||＼ 7 r´
! ＿) | .||＿＿.||. ＼ / !
＼ _ﾉ__/ / | ＞/ /
￣ヽヽ| / 人 / ´ /
｀ |./ / ＼ /
/ / ｀ｰ´
4:１３２人目の素数さん
13/03/27 19:50:25.28
おい、圏論のスレ4つもあるじゃねーか
どういうことだ
5:１３２人目の素数さん
13/03/27 22:19:01.32
一方、集合で検索したら2つだけ
6:１３２人目の素数さん
13/04/03 22:29:27.55
かなりの部分がサンクコストとして沈んでしまった。またゼロからやり直す。
7:１３２人目の素数さん
13/04/04 16:29:51.37
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/
. | ＼ ∠イ ,ｲイ| ,`-' |
| l＾,人| ` `-' ゝ | このスレは馬と鹿と豚さんばかりね。
| ` -'＼ ｰ' 人
| /(l ＿＿／ ヽ、
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
8:１３２人目の素数さん
13/04/04 21:27:46.48
中山の補題勉強中
9:１３２人目の素数さん
13/04/04 21:40:46.20
米田でなくて？
10:１３２人目の素数さん
13/04/06 21:33:40.53
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/
. | ＼ ∠イ ,ｲイ| ,`-' |
| l＾,人| ` `-' ゝ | このスレには馬と鹿と豚さんしかいないのね。
| ` -'＼ ｰ' 人
| /(l ＿＿／ ヽ、
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
11:１３２人目の素数さん
13/04/07 09:33:44.94
ほげ
12:１３２人目の素数さん
13/04/08 22:45:21.91
馬鹿なんでいいです。知っている人がいたら教えてください。
＊米田の補題は有名ですが、一体なににつかうものかわかりません。一体何に使うものですか？
＊積、和の図式も有名ですが、なんであの図式で積とか和が定義されていることになっているのですか。
順序の保存性が重要なのではないかと思うのですが、明快に書かれている本に出会えません。
明快に書かれた本を知りませんか。
13:１３２人目の素数さん
13/04/09 08:40:23.12
ネットに転がってる圏論の本のpdfを拾ってyonedaでファイル内検索してみれば、どう使われているかわかる。
14:１３２人目の素数さん
13/04/09 12:33:39.07
例えば
URLﾘﾝｸ(math.mit.edu)には
Yoneda’s lemma makes the calculation quite trivial.
と書いてある
15:１３２人目の素数さん
13/04/09 13:01:29.14
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
16:１３２人目の素数さん
13/04/09 20:30:38.45
>>14
よくわかんないんですけど、
Yoneda’s lemma makes the calculation quite trivial.
ということですと、the calculation でtheがついているわけでなにか特定の計算方法を指示している
わけですよね。
この文言におけるthe calculationは何を意味しているんですか？
17:１３２人目の素数さん
13/04/09 20:33:50.90
ていうか、「～はトリビアル（自明だ、簡単だ）」という言い回しは概ね話を
はぐらかすときにつかうものですが、それははぐらかしている文脈ではないのですか？
18:１３２人目の素数さん
13/04/09 23:12:02.67
>>17
>>14のリンク読めよ