トップページ⇒math
872コメント231KB

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

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん2006/08/31(木) 07:21:12
■前スレ
　圏論 / カテゴリー論 / Category Theory 2
　http://science4.2ch.net/test/read.cgi/math/1089645233/
　なんで圏論なんてもんがあんのよ？
　http://makimo.to/2ch/science3_math/1057/1057731708.html

■関連スレ
　大好き★代数幾何 Part 3
　http://science4.2ch.net/test/read.cgi/math/1119870806/
　非古典論理について語るスレ
　http://science4.2ch.net/test/read.cgi/math/1071060325/

■関連過去スレ
　層
　http://makimo.to/2ch/science2_math/1003/1003853278.html
　シット サイト トポス シャン モチーフ
　http://makimo.to/2ch/science_math/1007/1007625226.html
0002１３２人目の素数さん2006/08/31(木) 07:21:43
ぬっぺふほふ
0003１３２人目の素数さん2006/08/31(木) 07:23:13
ぬっぺふほふ
0004１３２人目の素数さん2006/08/31(木) 07:36:29
ぬっぺふほふ
0005１３２人目の素数さん2006/08/31(木) 11:24:47
ぬっぺふほふ
0006１３２人目の素数さん2006/08/31(木) 11:43:21
ぬっぺふほふ
0007１３２人目の素数さん2006/08/31(木) 19:04:15
圏スレもう落ちたのかよ　早すぎる
あとテンプレ直ってるね>>1乙
0008１３２人目の素数さん2006/08/31(木) 19:19:29
性器論 / メコスジー論 / Mekosuji Theory 69
0009１３２人目の素数さん2006/08/31(木) 19:51:02
テンプレ直すために前スレはぶっ殺した
0010１３２人目の素数さん2006/08/31(木) 20:38:28
探しものは何ですか？　　　見つけにくいものですか？　　　鞄の中も　　　机の中も　　　探したけれど見つからないの　　　
0011１３２人目の素数さん2006/09/01(金) 23:07:22
ヒルベルト多項式の理論を圏論的に展開できたら、面白いかなあと思ったんですけど、
既にヒルベルト多項式に関係ある圏ってありますか？
0012１３２人目の素数さん2006/09/09(土) 01:03:52
導来圏ってラーメン屋みたいですね
0013１３２人目の素数さん2006/09/09(土) 09:30:41
　　　　　　 , 　 ＿ ﾉ）
　　　　 　γ∞γ~　 ＼ 　　とて
　とて　　 |　 /　从从) ）
　 　 　 　ヽ　| |　l　 l |〃 　 　　／￣￣￣￣￣￣￣￣￣￣￣
　　 　　　 ｀从ﾊ~ ワノ）　　　＜　圏論についてなんでもどうぞ♪
　　　　 {| ￣［`［>ﾛ<］'］￣|!　 　＼＿＿＿＿＿＿＿＿＿＿＿
　　　　　`,─Y ,└┘_ﾄ─'
　　　　　└／/ ｌ T ヽ＼　　とて
⌒ヽ 　 　,く._ '　　　　　_ >
　　人　　｀ヽ｀二二二´'´
Y⌒ヽ）⌒ヽ　し' ｌ⌒)
￣￣￣￣￣￣￣￣￣￣￣￣￣
0014１３２人目の素数さん2006/09/09(土) 18:57:25
導来圏のオヤジって誰？
0015１３２人目の素数さん2006/09/10(日) 12:39:14
Mac Lane 辺りどう？
0016１３２人目の素数さん2006/09/10(日) 14:06:52
柏原先生のことじゃないの？
0017１３２人目の素数さん2006/09/14(木) 19:03:53
２－圏
0018１３２人目の素数さん2006/09/23(土) 17:41:25
圏論って代数幾何でどういう風に使われるんですか？
0019１３２人目の素数さん2006/09/30(土) 19:48:06
曹達
0020１３２人目の素数さん2006/10/01(日) 02:42:33
圏論のやさしい入門書や啓蒙書ありませんか？
ブルーバックスレベルのものがあったら紹介してください。
よろしくです。
0021１３２人目の素数さん2006/10/01(日) 06:05:55
>>20
アイレンベルク読めこのクソ野郎
0022!omikuji2006/10/01(日) 07:14:40
？
0023１３２人目の素数さん2006/10/01(日) 07:47:27
>>20
マックレイン読めっつってんだ
このうじ虫
0024１３２人目の素数さん2006/10/03(火) 06:11:33
447
0025１３２人目の素数さん2006/10/03(火) 17:51:25
Yoneda's lemma の猿でもわかる説明をお願いします。
0026１３２人目の素数さん2006/10/03(火) 23:57:22
age
0027１３２人目の素数さん2006/10/04(水) 21:07:50
>>25
Yiyada
0028１３２人目の素数さん2006/10/05(木) 00:33:40
>>20
Lawvare & Schanuel, _Conceptual Mathematics: A First Introduction to Categories_, Cambridge U.P., 1997.
0029１３２人目の素数さん2006/10/05(木) 00:34:39
>>28 訂正
× Lawvare
○ Lawvere
0030１３２人目の素数さん2006/10/05(木) 01:21:36
P と A を射影的加群とし，短完全列

0 → M → P → A → 0

が存在するとします．このとき P と A は同型になりますか？
0031１３２人目の素数さん2006/10/05(木) 04:08:15
>>25
米田に変なロマンもってじゃねーよ馬鹿
0032１３２人目の素数さん2006/10/05(木) 08:08:07
>>30
なるわけない
0033中川作蔵2006/10/05(木) 14:38:08
>30
どんな思考回路してんねん(笑)！！
0034１３２人目の素数さん2006/10/05(木) 14:53:57
読んでる本にそう取れる記述があったんですが
まさかそんなこと無いよなあと思って書き込みました
0035１３２人目の素数さん2006/10/12(木) 21:43:53
圏論ってほんと考え方がようわからん。
たとえば、直和と直積とが双対であることは直感的にわかるが、
それを圏論的に表現するととっても奇妙な感じになる。
圏論ってほんとにまともですか？
それから、「なになにとは、なんとかの射に対してこれこれの射が
唯一存在すること」というような表現がよく出てきますが、
なぜ「唯一存在する」というのがよく出てくるのでしょうか？
どなたか教えてください。
0036１３２人目の素数さん2006/10/12(木) 21:46:01
>>35
いくらなんでも具体性がなさすぎる…
0037１３２人目の素数さん2006/10/12(木) 21:51:40
>>35
スキーム勉強してみろ
0038１３２人目の素数さん2006/10/13(金) 06:15:49
好き好き大好き向き向き大好き
0039１３２人目の素数さん2006/10/13(金) 08:36:50
>>35
たぶん普遍写像性質のことを言ってるんだろうけど、
例えばL,M,NをR加群として
L+(M+N)=(L+M)+Nの証明をどうやってやる？
ここで+は直和、=は同型ね。
0040１３２人目の素数さん2006/10/14(土) 13:00:37
とっかかりとしては『コホモロジーの心』も悪くないよね
やや代数に特化してるけども。
0041１３２人目の素数さん2006/10/28(土) 17:07:25
阿呆か
0042１３２人目の素数さん2006/10/28(土) 19:41:31
>>35
コホモロジーを統一的に扱いたいってのが動機なんだから
「唯一」ってことを重要視するってのは自然なことだろ
0043１３２人目の素数さん2006/10/28(土) 19:54:42
コホモロジーのこころ　それは青空　私たちを包む　広い青空
コホモロジーのこころ　それは樫の木　私たちを守る　強い樫の木
コホモロジーのこころ　それはうぐいす　私たちと歌う　森のうぐいす
コホモロジーのこころ　それは山百合　私たちも欲しい　白い山百合
コホモロジーのこころ　それはサファイア　私たちを飾る　光るサファイア
0044１３２人目の素数さん2006/10/30(月) 12:45:12
圏論て無いと話にならないですね。
そして、それを教えずに使いまくる大学教育は相変わらず終わってるなと・・・
0045１３２人目の素数さん2006/11/06(月) 19:37:16
教わらなくても自分で勉強しろよ
0046１３２人目の素数さん2006/11/10(金) 22:52:37
まあ、実際問題として自分で勉強するけどね、・・・

しかし、私設の数学者集団でもなんでもなく、
国立大学における教育として、あんな杜撰な教え方
をしていること自体は許容できる要素はまったく無い。
0047１３２人目の素数さん2006/11/12(日) 05:23:53
Carnapがどういう文脈でfunctorという言葉を使っていたのかがむしろ分からない。
0048１３２人目の素数さん2006/11/12(日) 17:55:27
関数記号って意味だと思うよ。
0049１３２人目の素数さん2006/11/13(月) 15:16:18
age
0050１３２人目の素数さん2006/11/13(月) 18:29:25
大学じゃどういう教育が理想なのかは諸説ある…
0051１３２人目の素数さん2006/11/13(月) 19:24:56
カテゴリー論にロマンを持つなよｗ
0052１３２人目の素数さん2006/11/13(月) 19:47:31
ちょっと自分でも調べてみたら
http://groups.google.co.jp/group/comp.lang.scheme/browse_frm/thread/1b0a992c60c092d4/86fb071a0c24bfd5?lnk=st&q=carnap+functor&rnum=1&hl=ja#86fb071a0c24bfd5
というのがありました。
似てる：Carnap's functor、C++のfunctor、普通の英語のfunctor
似てない：圏論のfunctor

ということで、圏論のfunctorはかなり大雑把な借り方？らしいという結論に達しました。
こういう思想性のない造語されるとかなり萎える。
0053１３２人目の素数さん2006/11/13(月) 19:47:58
Haskellって、勉強する価値ありますか。
0054１３２人目の素数さん2006/11/13(月) 20:49:17
目的次第
0055１３２人目の素数さん2006/12/03(日) 18:29:49
カテゴリー論で面白い定理ってあるの？
抽象論としては、ある種の有限カテゴリーの分類が出来たとか？
具体論としては非可環上のの代数幾何が出来たとか？
これは文献も多くあるが誰もがそれで良いと云う議論はまだ出来ていないと思う。
0056１３２人目の素数さん2006/12/08(金) 04:50:51
カテゴリー論は不変量を抽象的体系として扱うものではないかと思う
分類するとか言うのはちょっと方向が違うんでないか
0057１３２人目の素数さん2006/12/16(土) 00:22:59
圏論やってる人って世界に何人くらいいるの？
0058１３２人目の素数さん2006/12/16(土) 01:12:12
圏論を使う人って意味なら、たくさんいるでしょ
0059１３２人目の素数さん2006/12/16(土) 01:16:37
>>57
ボイド、コンラッド、ユーピック、スラン、フェムトの5人だ。
0060１３２人目の素数さん2006/12/16(土) 02:41:48
>>59
しかしその５人のもとには、無数の罪深き黒き羊たちが集っており、
盲目の白き羊たちを餌食にして、世界に暗黒の時代を招いている。
0061１３２人目の素数さん2006/12/16(土) 05:03:30
しゃれたことを言う。
0062１３２人目の素数さん2006/12/16(土) 05:24:43
圏論、僕はユーザーの立場だなぁ・・・
0063１３２人目の素数さん2006/12/16(土) 06:15:59
じゃあ君は盲目の白き羊達の一匹だね。
0064１３２人目の素数さん2006/12/16(土) 18:25:48
ケェーーーーーーーーーン
0065１３２人目の素数さん2006/12/24(日) 03:04:15
圏論というとすぐ基礎論オタが出てくるよね。
はっきりいってウザイ。

smallもlargeも区別しなくていいんだよ、ほとんどの場合。
0066１３２人目の素数さん2006/12/24(日) 03:50:06
出てくるか？
集合かクラスかにこだわる人のこと？
それだけで基礎論ってのは言いすぎだろ
0067１３２人目の素数さん2006/12/24(日) 04:31:34
>それだけで基礎論ってのは言いすぎだろ

まあ、そうだけど、同じような仲間だろう。

そもそも基礎論というのは、素朴集合論の矛盾から出てきたわけで。
0068１３２人目の素数さん2006/12/24(日) 04:36:11
>集合かクラスかにこだわる人のこと？

圏論のsmallかlargeにこだわる人のこと。
0069１３２人目の素数さん2006/12/24(日) 04:39:52
>出てくるか？

過去レスを見れば分かる。

http://makimo.to/2ch/
0070１３２人目の素数さん2006/12/24(日) 04:40:19
ぶっちゃけ必ずしもcategoryが
集合だと思う必要もあまり無いんじゃないかと思うけどね。
0071１３２人目の素数さん2006/12/24(日) 04:47:51
>>70

意味不明
0072１３２人目の素数さん2006/12/24(日) 13:12:30
はっきりいってウザイ。
0073１３２人目の素数さん2007/01/22(月) 03:13:23
圏論を学ぶために、最低限必要な知識はなんですか
0074１３２人目の素数さん2007/01/22(月) 06:08:21
働く数学者は例と演習問題を除けば前提知識ゼロで読める．
基本的な代数と位相を知っていれば例と演習問題も読める．
0075１３２人目の素数さん2007/01/30(火) 15:29:05
前提知識ゼロで読めるかも知れんが別な意味でのセンスが必要な気がする。
少なくとも普通に前から読んでいってどんどん分かっていくような本ではない。
0076１３２人目の素数さん2007/01/30(火) 15:31:57
一番いいのはConceptual Mathematicsの邦訳が出ることだろうけど・・・
0077１３２人目の素数さん2007/01/30(火) 15:35:49
>>65
基礎論ていうと、「圏論の基礎」の付録に圏論で基礎論をやる
にはどうしたらいいかのヒントみたいなことが書いてある。
（何を未定義術語にすればいいかなど）
0078１３２人目の素数さん2007/02/04(日) 02:34:05
Wikipediaだかどこだかに
圏論は数学の初学者には教えないほうがいい
と書いてあったのですが何故ですか
0079１３２人目の素数さん2007/02/05(月) 01:17:47
age
0080１３２人目の素数さん2007/02/05(月) 05:42:36
>>78
abstract nonsense
http://en.wikipedia.org/wiki/Abstract_nonsense
だから
0081１３２人目の素数さん2007/02/05(月) 09:16:23
ゲルファント・マニンの導来圏の本の161ページ下から
4行目なんだが、
fがqisなら、cone C(f)がacyclic
になる事がどうしてもわからん。誰かわかりますか？
0082１３２人目の素数さん2007/02/05(月) 09:23:50
>>81
H^iのlong exact使え
0083１３２人目の素数さん2007/02/05(月) 11:10:21
ｼﾞｴﾝ？
0084１３２人目の素数さん2007/02/05(月) 18:14:28
>>82
どのexact triple に使えば
良いのでしょう(*_*)
0085１３２人目の素数さん2007/02/05(月) 18:48:25
>>80
最近アブストラクトナンセンスの方がナンセンスであることに気づいたよ
0086１３２人目の素数さん2007/02/06(火) 11:25:32
>>80のリンク先でも、
アブストラクトナンセンスという言葉はけなし言葉ではなく
ほめ言葉として使われる
と書いてあるもんね
0087１３２人目の素数さん2007/02/06(火) 11:34:50
位相幾何でも可換環でもいいけど、具体的なホモロジーを知ってると、
カテゴリーをやる動機付けにはなると思うけどね
ホモロジーってのは結局どういう対象なのか？　を突き詰めるとカテゴリー論になるわけで
それを知らずにカテゴリー論を勉強しても、
理屈は分かったとしても意味が分からず全然面白くないんじゃなかろうか
0088812007/02/06(火) 14:06:00
>>82
スマソ
解決しますた
0089882007/02/06(火) 14:11:27
いや、やぱーりわからん
(;_;)
0090１３２人目の素数さん2007/02/09(金) 22:26:59
アブハチトラズノナンセンス
0091１３２人目の素数さん2007/02/10(土) 17:20:25
逆恨み
0092１３２人目の素数さん2007/02/11(日) 18:23:31
このスレの住人さんのLawvere
http://en.wikipedia.org/wiki/William_Lawvere
への評価はどんなもんでしょうか。
当方理系ではありましたが、数学を専攻してはいないので、
皆さんの議論がよく分かってはいないのですが（汗
Conceptual Mathematicsでのものの考え方がおもしろい
というのをどこかで聞いたので、やってまいりました。
プロフィールを読むと哲学にも関係しているようですね。
0093１３２人目の素数さん2007/02/11(日) 23:47:01
評価の前に知名度がまだ、0に限りなく近い正の値って言う感じのような・・・
個人的にはlawvereの宣伝活動しだいで今後の圏論の広まり方が決まる
ぐらいの重要人物だと（勝手に）思ってますが・・・
0094１３２人目の素数さん2007/02/12(月) 06:53:04
「位相のこころ」pp.143-144によると
何か根っからのマルクス主義者らしいね。

それなりに有名人物なんじゃないの？
そうでもないんですか。
0095922007/02/12(月) 08:10:20
コメントありがとうございます。上のwikipediaの経歴を見ると
紆余曲折というか波瀾万丈な感じですが、見た目は
http://andrej.com/mathematicians/L/Lawvere_William.html
温和そうな小太りおじいちゃんですｗ。
>>94さんにご紹介いただいた本は手に入れて読みたい
と思います。森毅は好きですしね。
暴論で結構なのですが、数学のご専門のかた、
Conceptual Mathematicsの主要な議論を
短くまとめると、どんなもんなんでしょうか。
0096１３２人目の素数さん2007/02/12(月) 12:59:17
（全部読んでないで書くのもあれなんだけど・・・）
議論つーかConceptual Mathematicsていうのは
圏論の基礎概念をずぶの素人にも分かるように
ものすごく噛み砕いて説明してるだけの本なので、
新しい哲学的なアイデアの提出みたいなものは全く無い。（と認識してますが・・・

ちなみにこういう人たちがいて、現在進行形で読んでるみたい・・・
http://www.sampou.org/cgi-bin/haskell.cgi?CategoryTheory%3a%b7%f7%cf%c0%ca%d9%b6%af%b2%f1
0097１３２人目の素数さん2007/02/14(水) 08:09:14
>>96
レスありがとうございます。なるほどなるほど。
本がすでにあるのに、本を説明してくれなんていう
のは、本当にひどい話ですが、おつきあいくださって
どうもありがとうございました。

というわけで、専門的な議論のあいまに、
ほんの時々で結構ですので、圏論の魅力なんかを
語っていただけると、とても嬉しいです。
また覗かせてもらいます。
0098１３２人目の素数さん2007/02/14(水) 16:10:29
マクレーンさん　圏論の基礎　いつかは読みたいと思った
0099１３２人目の素数さん2007/02/20(火) 20:01:21
教えてください。
圏論の基本的な考え方が関数一元論だとしたら
・λ抽象となにが違うのでしょうか？
・ヒルベルトの公理的方法（点や線でなく机や椅子でも同じ）と
関係があるでしょうか？
0100１３２人目の素数さん2007/02/20(火) 22:21:08
Category theorist = Mazochist　なんて言っちゃいかんかね？
基礎論と同じでどうも好きになれん…
0101１３２人目の素数さん2007/02/20(火) 23:01:04
>87
> ホモロジーってのは結局どういう対象なのか？　を突き詰めるとカテゴリー論になる
homology = derived categoryと限定するならともかく、それには頷けんなあ。
0102１３２人目の素数さん2007/02/20(火) 23:04:48
関数一元論って 集合全体のクラスからそれへの関数を考える話ですか
functor
0103１３２人目の素数さん2007/02/20(火) 23:36:15
>>102
そもそも集合ナシで考えるということ
0104１３２人目の素数さん2007/02/21(水) 01:25:02
∈ や ⊂ いらね、・→・最強という宗教
0105１３２人目の素数さん2007/02/21(水) 23:41:10
スタック最高
0106１３２人目の素数さん2007/02/22(木) 19:20:31
教えてください。
圏論において可換性はなぜ基本的なのでしょうか
Conceptual　Mathematicsは、このような初心者の
愚問にも答えてくれているのでしょうか
0107１３２人目の素数さん2007/02/22(木) 20:06:13
equalizerはpullbackの特殊形と思ってよいのですよね？
0108１３２人目の素数さん2007/02/22(木) 20:52:10
pullbackってなんなのですか？
どういう意味をもっているのですか
0109１３２人目の素数さん2007/02/22(木) 21:20:11
だいたい直積。
01101082007/02/22(木) 21:56:09
>>だいたい直積。
だいたい∩だいたい∧とも言うのかもしれませんが、
でも直積の場合は、菱形の下三角形の方が無いでしょう？
0111１３２人目の素数さん2007/02/22(木) 22:05:08
>>110
で?
0112１３２人目の素数さん2007/02/22(木) 22:07:14
菱形をひっくり返すと解るよｗ
01131082007/02/22(木) 22:40:14
>>112
直和が現れるからそれと直積とを対で理解しろと
いうこと？
0114１３２人目の素数さん2007/02/22(木) 23:15:49
妄想する前に、ベクターバンドルとか簡単な例は浮かばないの？
0115１３２人目の素数さん2007/02/23(金) 04:10:59
> でも直積の場合は、菱形の下三角形の方が無いでしょう？

無いんじゃなくて、終対象があると考えるんだ
01161082007/02/23(金) 06:52:23
>>114
ベクターバンドルよりもっと簡単な例はないでしょうか？
0117１３２人目の素数さん2007/02/23(金) 08:29:14
直積
0118１３２人目の素数さん2007/02/23(金) 18:42:08
そんなに簡単な例が欲しけりゃ集合の圏でpullbackをとったら
何になるのかとか考えてみればいいじゃないか
ちょっとくらい自分で考えてみないと身にはつかんよ
0119１３２人目の素数さん2007/02/23(金) 23:43:49
>>116
んじゃ、自明なベクターバンドル
0120１３２人目の素数さん2007/02/23(金) 23:49:36
よく圏同型は重要でなく圏同値が重要と聞きますがその理由が分かりません。
是非教えてください。
0121１３２人目の素数さん2007/02/23(金) 23:56:44
剣道系は堅ッ苦しいから剣道地を拝礼します
0122１３２人目の素数さん2007/02/24(土) 00:31:09
>>120
クラスの定義がはっきりしないので圏の定義もはっきりしない。
従って圏同型自体はっきりしない概念だから。
0123１３２人目の素数さん2007/02/24(土) 00:32:26
>>122
剣道地だとなんではっきりするのれすか？
0124１３２人目の素数さん2007/02/24(土) 00:33:40
>>120
クラスの定義がはっきりしないので圏の定義もはっきりしない。
従って圏同型自体はっきりしない概念だから。
0125１３２人目の素数さん2007/02/24(土) 00:35:46
なんか変なのが沸いてきそうな悪寒。
0126１３２人目の素数さん2007/02/25(日) 20:58:07
おまいら馬鹿か？
0127１３２人目の素数さん2007/02/25(日) 21:31:37
>>120
とりあえず、剣道地と剣道系の定義とその違いを教えれ
01281242007/02/26(月) 19:42:57
>>120
続き
しかし圏同値は、定義がはっきりしなくとも、誰にでも通じる概念だから
0129１３２人目の素数さん2007/02/26(月) 20:03:00
>>122

集合の定義もはっきりしないのか？


0130１３２人目の素数さん2007/02/26(月) 22:41:39
別に基礎論みたいな方向に話を進めなくても圏論は使えるけどな
0131１３２人目の素数さん2007/03/01(木) 03:20:25
…すなわちカテゴリー的なピューリタン(純粋主義者)は
射だけで飯を食っていかなければなりません。…「コホモロジーのこころ」

具体的対象ぬきで数学をやる。すごい世界だ…。
0132１３２人目の素数さん2007/03/02(金) 20:48:40
＞具体的対象ぬきで数学をやる。すごい世界だ…。
俺を俺と呼ぶ俺がいて…。
0133１３２人目の素数さん2007/03/03(土) 02:10:07
>具体的対象ぬきで数学をやる。すごい世界だ…。

やっていくうちに射も具体的対象に思えてくる。
っていうか、数学の対象っていうのはいかに具体的でも抽象的だろ。
数の１、２、３、．．．だって抽象的だ。
だから圏がいかに抽象的といってもたいして変わらない。
整数全体の集合だって圏だしな。
関係 1 ＜ 2 は射だ。
0134１３２人目の素数さん2007/03/04(日) 22:25:53
>>133
いわば、慣れだよね。
具体的な対象といった場合、その対象にどれだけ慣れ親しんでいるかによっても、
「具体性」の度合いは、違ってくると思う。
0135１３２人目の素数さん2007/03/04(日) 22:48:01
単射の圏、全射の圏
0136１３２人目の素数さん2007/03/05(月) 15:59:16
終対象、始対象のある圏、ない圏、ってそれぞれ何か特別な名前ありませんか？
0137１３２人目の素数さん2007/03/05(月) 16:24:38
あるわけない圏
0138１３２人目の素数さん2007/03/05(月) 16:32:46
それぞれ終対象あるわけない圏、始対象あるわけない圏でしょうか？
0139１３２人目の素数さん2007/03/05(月) 17:28:14
なんか「よくがんばったで賞」みたいだな。
ところで、Categoryってなんで圏って訳すの？
Yahoo Categoryはヤフー圏？野球拳？
0140１３２人目の素数さん2007/03/05(月) 23:52:59
本来の訳語「範疇」よりましな選択肢としての圏
0141１３２人目の素数さん2007/03/06(火) 00:00:27
「圏」なんて訳語誰が作ったんだろうね。
まあ範疇ってのもイマイチだけど。

そもそも漢字で書けない人が多そうだｗ
0142１３２人目の素数さん2007/03/06(火) 00:17:46
そんなに悪い選択肢だと思わないけどなぁ、・・・
なんとなくものの集まりで、ただ集まってるだけじゃなくて、
なんとなく関係しあってる感じで、・・・
むしろ英語のCategoryの方が関係しあってる感じがしないので
原語よりましとすら思う・・
0143１３２人目の素数さん2007/03/06(火) 00:47:43
英語のCategoryはカント用語からの拝借のつもりで
つけたらしいからね
0144１３２人目の素数さん2007/03/06(火) 01:23:28
そもそもCategoryって哲学用語だからねえ、
日本の数学者はそういうの嫌いなんだろうねえ、
0145１３２人目の素数さん2007/03/06(火) 02:16:42
Baireの範疇定理
0146１３２人目の素数さん2007/03/06(火) 04:23:56
http://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%86%E3%82%B4%E3%83%AA
「～星の降る夜は」
「～俺の肩をを抱きしめてくれぇ」
0147１３２人目の素数さん2007/03/08(木) 16:57:44
独学してるんだけど函手が全然わからない
誰かたすけてください

圏B、Cを次のように定義
Arrow(B)はBの射の集合とする(恒等射は省略)
B={1,2,3}、C={2,4}
Arrow(B)={1→2,2→3,3→1}
Arrow(C)={2→4,4→2}

函手Tの対象関数の集合{1,2,3}→{2,4}
この時、個々の対象関数の対応は適当にきめてよい？
例えば適当に1→2、2→4、3→4
函手Tの射関数の集合{1→2,2→3,3→1}→{2→4,4→2}
既に対象関数で対応を決めてるのに
射関数って何を決めてる？
もしかしてBって、Cと函手Tで全部かってに決まる？
0148１３２人目の素数さん2007/03/08(木) 17:14:56
圏Bで1→2と2→3との合成は何?
0149１３２人目の素数さん2007/03/08(木) 17:21:28
Bでの1→2と2→3の合成は1→3だと思います
0150１３２人目の素数さん2007/03/08(木) 17:26:40
Arrow(B)に恒等射を付け加えた集合が合成で閉じてないと思うよ。
0151１３２人目の素数さん2007/03/08(木) 17:43:16
新しくBとTからCが作れるかやってみました
B={1,2,3}
Arrow(B)={1→2、2→3、3→1}の時
Tの対象集合
1→2、2→4、3→4
Tの射の集合
上のように対象集合を決めると
Arrow(B)を上のルールで置き換えて
T(1→2)=2→4
T(2→3)=4→4
T(3→1)=4→2
こうすると合成は成り立つか実験
T(1→2、2→3)=T(1→2)T(2→3)は
T(1→2、2→3)=T(1→3)=？？
T(1→2)=2→4
T(2→3)=4→4
合成で閉じてないってのは
？？みたいなのが出来たらダメってことでしょうか
B={1→2、2→3、1→3}なら出来るのかな
もういっかいそれでやりなおしてみます
0152１３２人目の素数さん2007/03/08(木) 17:50:16
B={1,2,3}
Arrow(B)={1→2、2→3、1→3}の時
Tの対象集合(勝手に決めた)
1→2、2→4、3→4
Tの射の集合は、上のように対象集合を決めると
Arrow(B)を上のルールで置き換えて
T(1→2)=2→4
T(2→3)=4→4
T(1→3)=2→4
こうすると合成は成り立つか実験
T(1→2、2→3)=T(1→2)T(2→3)は
左辺：T(1→2、2→3)=T(1→3)=2→4
T(1→2)=2→4、T(2→3)=4→4なので
右辺：T(1→2)T(2→3)=(2→4)(4→4)=2→4
よって合成も成り立つ
とりあえず、出来た・・のか？
恒等射のチェックもやってみます
0153１３２人目の素数さん2007/03/08(木) 18:01:17
ありがとうございました
とりあえず出来たっぽいです
圏って好き勝手に射があっても良いのかと思ってました

Arrow(B)={1→1、2→2、3→3、1→2、2→3、1→3}の時
Tの射の集合に次を追加
T(1→1)=2→2
T(2→2)=4→4
T(3→3)=4→4
この時、T(1c)=1(Tc)について
c=1の時
左辺:T(1→1)=2→2
右辺:1(T(1))=1(2)=2→2
よって成り立つ
0154１３２人目の素数さん2007/03/08(木) 19:44:34
>独学してるんだけど函手が全然わからない

函手の自然な具体例を挙げてみな。
0155１３２人目の素数さん2007/03/08(木) 20:31:21
>>154
高等関手
0156１３２人目の素数さん2007/03/08(木) 20:43:05
すみません、「自然」かはわからないのですが
今、函手で出来そうだと思っているイメージ(Cを圏とします)
Cの各対象を定数倍や階乗、べきなどの組み合わせで置き換える函手
Cの各対象cが集合だったらcをその要素で置き換える函手(和集合)
Cの各対象cを対<c,c>で置き換える函手

テキストは｢圏論の基礎」なんですが
これには単純な例としてべき集合函手がのってました
0157１３２人目の素数さん2007/03/08(木) 20:55:26
>すみません、「自然」かはわからないのですが

深い意味はない。
人工的でないっていうこと(>>152は人工的だわな)。

要するに具体例をあげてみな。
教科書に頼らず。
0158１３２人目の素数さん2007/03/08(木) 21:08:29
それじゃ、こんなのでどうでしょうか

Obj(C)をCの対象、A(C)をAの射として
Cを次のように定義
Obj(C)={月、火、水、木、金、土、日}
A(C)={月→火、火→水、...、土→日}
函手Tを次のように定義
Tの対象 A(C)→{平日、土日}
具体的には
月→平日、火→平日、...、金→平日
土→土日、日→土日
Tの射
T(月→火)=平日→平日
T(火→水)=平日→平日
..
T(金→土)=平日→土日
T(土→日)=土日→土日
0159１３２人目の素数さん2007/03/08(木) 21:11:29
合成
T(月→火、火→水)=T(月→水)=あ、定義できないorz
T(月→火)T(火→水)=平日→平日、平日→平日=平日→平日
0160１３２人目の素数さん2007/03/08(木) 21:14:42
合成が定義できなかったけど、残りも一応チェック

恒等射
A(C)に{月→月、火→火、...、日→日}も追加して
T(1月)=1(T月)について
左辺:T(月→月)=平日→平日
右辺:1(T月)=1(平日)=平日→平日
こっちは成り立ってる

結局、「合成が閉じている」がわかってないのか
0161１３２人目の素数さん2007/03/08(木) 21:24:53
>>158

あんたは圏論をやるには早過ぎる。
圏論をやるには数学の基礎（大学の２、３年次程度）が必要っていうか、
基礎が身についてないのにやってもあまり意味ない。
0162１３２人目の素数さん2007/03/08(木) 21:38:45
ショックだ・・退散します
0163１３２人目の素数さん2007/03/08(木) 21:42:47
>>162

良薬は口に苦し。
悪く思うな。
0164１３２人目の素数さん2007/03/09(金) 02:12:50
>>158の例は単に7圏から2圏への関手
7圏をちゃんと圏にするためには、対象を{0,1,2,3,4,5,6}とみて
n=<mのときn→mが唯一あるとすればよい。この例は圏論の基礎1章2節のまんなかあたり
に載っている。
0165１３２人目の素数さん2007/03/09(金) 16:31:22
今は数学者じゃなくても、情報科学でも計算機科学でも
言語学でも圏論を使うようになっちゃったから、
数学の学生でない限り無理に>>161の助言に従うことはないよ
0166１３２人目の素数さん2007/03/09(金) 17:14:23
数学の学生でも>>161に従う必要はないだろｗ
0167１３２人目の素数さん2007/03/09(金) 17:21:22
なんにせよ、>>158は圏の定義とくに射について見直す必要アリだと思う。
0168１３２人目の素数さん2007/03/09(金) 19:49:48
>>166

無責任なこと言うなよｗ
0169１３２人目の素数さん2007/03/09(金) 19:52:14
>>166
いやまあ数学の基礎がないと圏論学ぶ意味がどうこう、ってより、
圏論に出会う時点でまだ数学の基礎を勉強したことがないってのは
数学の学生としてはどうよ、と思っただけですわ

まあしかし>>158はそれ以前のもっと基礎的なところくらいは
先にやっててほしい気もする
>>150のようなことを言ってもらう必要があるってレベルでは
さすがに圏論の勉強自体がきついかもしれん
0170１３２人目の素数さん2007/03/09(金) 19:57:56
>>165

計算機科学で圏論を使うのは大いに結構。
しかし、ここは数学板だ。
計算機科学の板じゃないんで。

それにしても圏と関手の具体的例を知らないで圏論をやろうというのは、
なんていうか、女を生れてこのかた見たことがない男（野生で育ったとか）がセックスの
やり方を学ぶようなもんだろｗ
0171１３２人目の素数さん2007/03/09(金) 20:00:38
>>170
先生、生まれてこの方彼女と言うものができたことの無い
三十路の俺はどうやってセックスのやり方を学べばよいのですか？
0172１３２人目の素数さん2007/03/09(金) 20:07:10
>>171

別に学ぶ必要はない。
セックスは義務ではない。
0173１３２人目の素数さん2007/03/09(金) 20:08:15
>>171
king、なんでコテはずしてるの？
0174１３２人目の素数さん2007/03/09(金) 20:13:42
圏論知ってるほうが数学の学習が早くなるから、
集合や群程度の非常に基礎的な例だけ知った時点で
圏論始めちゃうのもいいかもしれんね
0175１３２人目の素数さん2007/03/09(金) 20:19:26
>>174

ダメだね。よっぽどの秀才、天才以外は。
その天才でも古典に学ぶことは多い。

固体発生は系統発生を繰り返すというのは生物だけではなく数学にも当てはまる。
0176１３２人目の素数さん2007/03/09(金) 20:36:19
集合や群を知ったばかりの人が、
集合の圏や群の圏のような全体的な機構を
どれだけ調べられるかと言うと
疑問は残りそうだよね。
0177１３２人目の素数さん2007/03/09(金) 20:36:22
＞固体発生は系統発生を繰り返すというのは生物だけではなく数学にも当てはまる。
はあ？
0178１３２人目の素数さん2007/03/09(金) 20:38:30
ぶっちゃけた話が集合論もそうなんだよな
他の代数や位相を勉強する前にZornの補題とか勉強しても
その意義なんて良くわからんだろうし。

0179１３２人目の素数さん2007/03/09(金) 20:38:42
>>177

googleれよ
0180１３２人目の素数さん2007/03/09(金) 20:42:05
しかし基礎の集合論を知らないとそもそも位相の勉強ができないでしょ？
だから数学を学ぶための基礎的なツールとしての基礎の集合論と
公理的集合論とは違うってことかもね

だったら数学を学ぶための基礎的なツールとしての基礎の圏論が
あってもいい気がするよってことなんだけど
0181１３２人目の素数さん2007/03/09(金) 20:44:52
>しかし基礎の集合論を知らないとそもそも位相の勉強ができないでしょ？

位相の前にやることがあるだろ。
微積とか線形代数とか。
0182１３２人目の素数さん2007/03/09(金) 20:50:08
ものには順序ってものがある。
学ぶにも当然順序がある。

確かに論理的には集合論から始めてもおかしくはない。
Bourbakiのように。
そのBourbakiも大学２、３年次レベルの数学的知識を持っているものを
読者として想定している。

数学は論理じゃないんだよ。
これを誤解してるやつは多い。
0183１３２人目の素数さん2007/03/09(金) 20:53:07
>>179
ついでにいっとくと固体じゃなくて個体ね
0184１３２人目の素数さん2007/03/09(金) 20:55:33
>>183

言う必要なし。
２ｃｈで明らかなtypoを指摘するほどヤボはない。
よく悔しまぎれにこれをやるやつがいるが。
0185１３２人目の素数さん2007/03/09(金) 20:56:21
いやぐぐる人がいるかもしれんからさ
0186１３２人目の素数さん2007/03/09(金) 20:57:39
>>185

そこまで親切にする必要はない
0187１３２人目の素数さん2007/03/09(金) 21:01:28
古典にも学ぶことが多い、とか圏論は具体例を知ってから勉強したほうが良い、
ということを
「個体発生は～」と譬えるとか、比喩が下手なのにもほどがあるだろ

0188１３２人目の素数さん2007/03/09(金) 21:02:32
>>187

単にあんたが鈍いだけ
0189１３２人目の素数さん2007/03/09(金) 21:02:51
>>181-182
そっか。「大学２、３年次レベル」という要求で
もうちょっとレベルの高いものを要求してるんだと思ってた。

そりゃまあ四則演算やる前に群環体やる奴もおらんだろうし
やれと薦めもしませんよ。
0190１３２人目の素数さん2007/03/09(金) 21:03:59
>>180
「基礎の圏論」は抽象代数系の取り扱いとほぼ同義だと
思っていいのではないかな。
そう考える場合、代数学の基礎をやるには何が必要か
とか考えていくと、それなりに殺るべき事が待ってると思うぞ。
0191１３２人目の素数さん2007/03/09(金) 21:11:45
>そのBourbakiも大学２、３年次レベルの数学的知識を持っているものを

１、２年次だったかな。
まあ大して変わらないが。
0192KingOfUniverse ◆667la1PjK2 2007/03/09(金) 21:13:52
talk:>>173 [>>171]を私だと思ったということか？
01931892007/03/09(金) 21:14:00
なんか入り乱れてきてるけど、俺は≠187ね。

「個体発生は・・・」の比喩で言わんとしてる内容は
わからんでもないな。
ただ、その内容が100％正しいとも思えんのだけど。

>>190
それはそうだよ。何もやらなくていいわけない。
ただ、今の一般的なカリキュラムよりは少し早めに
基礎の圏論を導入して、他の数学を学んでいく過程と
圏論のより複雑な概念の学習とをある程度並行させたほうが
教育効果が上がるんじゃないかな、って。

まあ単にLawvere主義者のタワゴトかもしれんね。
0194１３２人目の素数さん2007/03/09(金) 21:14:05
個人的には圏論やる前に位相幾何をやっておくべきと思う。
位相幾何こそ圏論の母体だから。
0195１３２人目の素数さん2007/03/09(金) 21:31:45
んー、うちのガッコだと、代数幾何やる人じゃないと
まともに圏論やらないとかいうカリキュラムだからな。
なんせ有限群の表現論でさえ、俺が卒業した後に
ようやく講座できたぐらいだし。
# まあ、対称群の表現は組合せ論的な部分が大きいし、
# その辺のヤングタブローとかなんとかの話は
# 不変式論的なアプローチで関数方程式論の講義の
# 一部としてやっちゃったけどね。

ドラームコホモロジーもさらっとやる程度だし、
ホモロジー代数にいたっては選択と集中講義の中に
押し込められてた記憶がある。
圏論的なものの見方なんかほとんど学部ではやらないし
勝手に自分で学べ、という実に自由な学風であったことよ。
0196１３２人目の素数さん2007/03/09(金) 21:52:35
勝手に自主セミナーでやっとけや、
何すべきかわからん奴は知らん、
というのも見識か
0197１３２人目の素数さん2007/03/09(金) 21:59:56
1+1等の具体的な足し算は練習せず
いきなりペアノ公理をはじめる

精子の先端に完成された人間のミニチュア番が入っている
0198１３２人目の素数さん2007/03/09(金) 22:01:16
「固体」の話はもういいってｗ
0199１３２人目の素数さん2007/03/09(金) 22:05:21
>>195
代数トポロジーの人は？
0200１３２人目の素数さん2007/03/09(金) 23:34:16
代数トポロジーってどんなのだっけ……
うちではやってる先生いなかった気がする……
0201１３２人目の素数さん2007/03/10(土) 00:58:10
>>197
>When the calculus volume of the Formulario was published Peano, as he had indicated,
>began to use it for his teaching. This was the disaster that one would expect.
既にペアノ自身がそれに近いことをやって大失敗してる
0202１３２人目の素数さん2007/03/11(日) 21:51:13
688
0203１３２人目の素数さん2007/03/24(土) 13:28:22
What's the solution of the following exercize:
<Exc> In a poset(P,<) considered as a category, all diagrams commute.
To what do the limit and colimit of a diagram correspond ?
0204１３２人目の素数さん2007/03/24(土) 14:19:54
>>203
colim　は下限、 lim は上限に対応
0205１３２人目の素数さん2007/03/24(土) 17:12:50
>>204
Thank you. Very easy. Poset is a simple category!
0206１３２人目の素数さん2007/03/25(日) 00:43:28
次の文章を英訳せよ

日本の2ちゃんねるは世界で唯一、圏論について話すことができる掲示板である。
0207１３２人目の素数さん2007/03/25(日) 01:52:50
Japanese Website "2channel" is the world's only Internet forum
where you can talk about category theory, suck my balls.
0208１３２人目の素数さん2007/03/25(日) 10:22:04
suck my balls
0209１３２人目の素数さん2007/03/25(日) 11:21:27
（問）すべてのobjectがinitialであり、かつterminalでもある
categoryの例をあげよ
0210１３２人目の素数さん2007/03/25(日) 11:22:58
>>14
了解です。
0211１３２人目の素数さん2007/03/25(日) 12:20:24
>>209
Janken and Week and ...
0212１３２人目の素数さん2007/03/25(日) 18:04:59
>>209
そんな簡単な問題なんで出すの？
0213１３２人目の素数さん2007/03/25(日) 18:22:59
空圏
0214１３２人目の素数さん2007/03/25(日) 18:28:49
>>209
つまり圏同値を除けば唯二つあるという事
0215１３２人目の素数さん2007/03/27(火) 19:31:28
来月から大学へ入る高校生です。
わからないことだらけなので教えてください。
（Q1）プルバックとプッシュアウトはなんだか最大公約数と最小公倍数に
似ていますが、関係ありますか？
（Q2）Limitは、高校で習う極限と関係がありますか？
名前は同じなのですが、あまり同じようには思えないのですが。
よろしくお願いします。
0216１３２人目の素数さん2007/03/27(火) 22:47:59
便乗カキコ
言語学でカテゴリ論使われているそうだけどそれに関する情報が見つからん。
なんか参考文献でもあったら教えてくれ。
0217１３２人目の素数さん2007/03/28(水) 00:06:39
>>215
> （Q1）プルバックとプッシュアウトはなんだか最大公約数と最小公倍数に
> 似ていますが、関係ありますか？
整除関係は順序だからね。>>203-205 参照

> （Q2）Limitは、高校で習う極限と関係がありますか？
実数には普通の順序で圏の構造が入るでしょ。
下降列の極限はその圏での極限になる。
02182172007/03/28(水) 00:08:07
あれ。 >>204 って逆じゃない？
0219１３２人目の素数さん2007/03/28(水) 00:10:32
>>216
詳しいことは知らないけど、Joachim Lambek がやっているらしい
http://www.math.mcgill.ca/department/display_people.php?id=99
0220１３２人目の素数さん2007/03/28(水) 02:15:39
そんなのが言語学の基礎になったら悲惨だなｗｗ
0221１３２人目の素数さん2007/03/29(木) 01:42:55
>>219
サンクス。
でもやっぱり怪しい雰囲気がちょっとするね。
0222１３２人目の素数さん2007/03/29(木) 20:10:04
>>203

posetより基本的なのが preordered set（前順序集合）。
これは任意の Hom(X, Y) が高々一個の元からなる小さい圏として
特徴付けられる。
poset は preordered set でしかも同型射が恒等射しかない圏である。

一般の圏は preordered set の自然な拡張になっている。
02232152007/03/29(木) 20:58:56
>>217
ありがとうございます。
>整除関係は順序だからね。
ということはまず、やはりGCDやLCMと通じると思ってよいのですね？
次に、順序というのはよくわからないのですが、整除関係は分かります。
この整除関係をわかりやすい例として考えれば、その中に圏論の概念は
全部入っているものなのでしょうか？
たとえば対象として自然数全体をとって、射として割り切れるをとった圏の場合は、
始対象は１で、終対象はなし。しかしイコライザは？と考えると、そもそも
２つの自然数の間に割り切れる関係は１つしかないはずなので、イコライザ
の概念は出てくる余地はなさそうだし・・・
そもそもこんな考え方であっているのでしょうか？
圏論を勉強するのはまだ早いのかもしれませんが、もし教えてくれると
うれしいです。
0224１３２人目の素数さん2007/03/29(木) 23:05:27
>>223
> ２つの自然数の間に割り切れる関係は１つしかないはずなので、イコライザ
> の概念は出てくる余地はなさそうだし・・・
異なる二つの射じゃなきゃならないなんてことはないから、
同じものをとってきてイコライザを考えることはできるよ。
まあ結果は自明なんで、意味ないだろうけど。

> そもそもこんな考え方であっているのでしょうか？
考え方はだいたい合ってる。
でも先に集合論の基礎ぐらいは身に付けておいたほうがいいと思うよ。
でないと例がほとんど作れないでしょ。
例なんかなくても理解できるから問題ないというなら別だけど……
0225１３２人目の素数さん2007/03/29(木) 23:48:35
>>222
203では無いんだけど、

＞一般の圏は preordered set の自然な拡張になっている。
これってどういう意味で自然だと言えるの？
0226１３２人目の素数さん2007/03/29(木) 23:52:38
圏論の文脈では「自然な」は慎重に使いましょう。
02272152007/03/29(木) 23:56:20
>>224
すぐに答えてくださってありがとうございます。
>異なる二つの射じゃなきゃならないなんてことはないから、
そうですが、自分が知っている整除関係を例にして圏論の概念を
理解できないかと思っていたものですから。イコライザにぴったりの
ものは整除関係では現れてこないということなのですね？
>まあ結果は自明なんで、
たとえば、12-->36　のイコライザは12でよいのでしょうか？
でも射が割り切れる関係のとき、射の合成やイコールになるというのは
どういうことかがわからなくなりました。
>でも先に集合論の基礎ぐらいは身に付けておいたほうがいいと思うよ。
わかりました。基本的な考え方はよく分かっているつもりですが、
順序という言葉など急いで勉強しておきます。
例があると助かるので整除関係がそれに使えればよかったのですが。
0228１３２人目の素数さん2007/03/29(木) 23:56:42
>>226

圏論で「自然な」を自然変換の他に使う場所あるの？
0229１３２人目の素数さん2007/03/29(木) 23:59:41
>>225

Hom(X, Y) の個数を増やせば一般の（小さい）圏になる。
0230１３２人目の素数さん2007/03/30(金) 00:05:15
単に増やすだけではグラフにしかならないのでは？
0231１３２人目の素数さん2007/03/30(金) 00:07:24
数学の命題の証明じゃないんだから説明に感覚的な言葉、例えば「自然な」を
使ってもいいんじゃないの？
厳密じゃなきゃイヤだという人は、そいういう説明を無視すればいいわけで。
しかし、それにより失うものもあることは覚悟した上で。
0232１３２人目の素数さん2007/03/30(金) 00:09:02
へー
0233１３２人目の素数さん2007/03/30(金) 00:12:56
それにしても、一般の圏はpreordered setの「自然な（厳密でない方の意味で）」拡張ではないだろう。
hom集合の濃度を増やせば一般の圏になるなんていうのは、合成関係を無視した不自然な（というか不可能な）見方だと思う
0234１３２人目の素数さん2007/03/30(金) 00:13:30
しかし圏論や基礎論の場合は言葉遣いには気を使ったほうがいいだろ
0235１３２人目の素数さん2007/03/30(金) 00:28:45
>1
＞シット サイト トポス シャン モチーフ
＞http://makimo.to/2ch/science_math/1007/1007625226.html
のシットって何？
0236１３２人目の素数さん2007/03/30(金) 00:41:58
>>230

なぜ？
順序集合では射の結合律が成り立っているから、それを拡張するということは
射の結合律は当然仮定すると考えると思うけど。
0237１３２人目の素数さん2007/03/30(金) 00:43:20
>>233

順序集合が圏になるっていうことを理解してないな。
0238１３２人目の素数さん2007/03/30(金) 00:45:42
>>234

時と場合によるだろ。
0239１３２人目の素数さん2007/03/30(金) 00:52:42
しかし驚いたな、preorderを拡張したものが圏だという見方は自然だと思ってる俺は
少数派らしいな。少なくとも、今ここにカキコしてる中では。
0240１３２人目の素数さん2007/03/30(金) 01:00:54
単に当たり前すぎて言うまでもないことでは…
0241１３２人目の素数さん2007/03/30(金) 01:06:08
>>240

圏論では当たり前という言葉は禁句に近い。
言われてみれば当たり前の概念（即ち圏と関手）の発見がつい５、６０年ほど前のこと
なんだから。
0242１３２人目の素数さん2007/03/30(金) 02:55:57
>>236
結合律の成り立つ射の追加の仕方といっても一通りではない
たとえば1だけの圏にaという射を追加するときにa*a=aという追加の仕方とa*a=1という追加の仕方がある。
で、この場合どっちが自然な拡張だとか言っても意味が無い。
0243１３２人目の素数さん2007/03/30(金) 02:59:59
>>239
preorderになるグラフって言うのはそもそも射の合成の仕方がひとつしか
入らないわけで、それを自然に拡張したら任意の圏になるって言われても意味不明。
0244１３２人目の素数さん2007/03/30(金) 03:01:40
ある圏に含まれているpreorderのうち濃度最大のものをその基底順序集合とする、とかしたとしても
多分一意的にならない。
0245１３２人目の素数さん2007/03/30(金) 04:01:26
圏論ではいつも射の結合性が仮定されるわけですが、
圏からこの条件を外すと圏よりもっと一般的な概念が
得られるわけです。そういう方面の研究ありますか？
0246１３２人目の素数さん2007/03/30(金) 09:14:02
ある概念が一意に拡張されないないなら、それは自然な拡張ではないと考える
あんたの考えが狭すぎる。

別にいいんだよ自然でも自然でなくても。
圏をpreoderの一般化と見ることにより見えてくるものがあればいい。

そんな見方不要というならそれでもいい。
それで、別に食うには困らないし死にはしない。
0247１３２人目の素数さん2007/03/30(金) 09:30:20
他人の主観的な考え方に広いも狭いも無いような
246のように考えるなら「こんな考え方もあるんだよ」と一回言うだけで十分で
別に延々と議論しなくても誰も困らんし死にはしないな
0248１３２人目の素数さん2007/03/30(金) 12:03:52
前順序集合の圏は
圏の圏、合成が定義された有向グラフの圏、2項関係つき集合の圏
に忠実充満に埋め込める。

>>245 例えば結合性を少し緩めたA_∞圏。

合成が定義された有向グラフの一般論は知らない。

考えられる問題は
圏の圏から合成が定義された有向グラフの圏への函手の随伴函手があるかどうか
合成が定義された有向グラフで圏とは違う良い例の構成

対象が一つの場合だと
モノイドの圏からマグマの圏への函手の随伴函手があるかどうか
マグマでモノイドとは違う良い例の構成
0249１３２人目の素数さん2007/03/30(金) 12:25:01
そんなカオスなところには何もあってほしくないｗ
0250１３２人目の素数さん2007/03/30(金) 12:53:29
自然なという言葉にひっかかったんだろうね。
ドキュンは往々にしてどうでもいい細かいことに拘る。
0251１３２人目の素数さん2007/03/30(金) 12:57:24
DQNていうのは圏論なんかやらない人種のことだ
0252１３２人目の素数さん2007/03/30(金) 12:58:10
逆に一見自明だが重要な事実は、それが自明というだけで
軽視するのもドキュン。
要するに、物事のウェイト付けが根本でずれている。
0253１３２人目の素数さん2007/03/30(金) 12:59:40
>>251

なことはない。
0254１３２人目の素数さん2007/03/30(金) 13:10:46
ドキュンの意味が変わってきてるのかな？
http://d.hatena.ne.jp/keyword/%A5%C9%A5%AD%A5%E5%A5%F3

大工や水商売で圏論についてあーでもないこーでもない考えてる奴って想像が付かないんだが・・・ｗ
因数分解の遥かまえ、分数の足し算の前後でドロップアウトするのが平均的なドキュンじゃないかな
0255１３２人目の素数さん2007/03/30(金) 13:10:50
それを圏論の言葉でいうとどうなりますか？

とか聞いてくるDQNは学会とかでよく見るな
0256１３２人目の素数さん2007/03/30(金) 14:08:41
DQNはおまえだろお前だろ
0257１３２人目の素数さん2007/03/30(金) 14:41:21
>>255
奇妙な妄想レスはもういいから新学期の準備でもしろ
0258１３２人目の素数さん2007/03/30(金) 15:59:31
言葉遣いの問題はさっさと両方とも一歩引けばいいだけの話なのに…
0259２４５2007/03/30(金) 17:54:47
>>248
レスThxです。A_∞圏ですか。少し調べてみます。
0260１３２人目の素数さん2007/03/30(金) 18:38:09
>>227
> たとえば、12-->36　のイコライザは12でよいのでしょうか？
それで合ってるよ。

整除関係みたいに順序集合を圏とみなした場合は、射の一意性が自明だから
あまりリッチな構造を持ってないともいえる。
具体例を作ってみるのに一番手っ取り早いのはたぶん集合の圏。
0261１３２人目の素数さん2007/03/30(金) 18:38:21
A_∞圏はKontsevich流のミラー対称性で使われているよ。
0262１３２人目の素数さん2007/03/30(金) 22:07:01
>>258

言葉遣いの問題だけじゃない気がする。
認識の差の問題。
まあ掲示板でのコミュニケーションっていうのはこういうのばっかり。
経験や性格、知能がバラバラなのに意思疎通を取ろうっていうのだから。
むしろ、この程度でも疎通が出来てるのが不思議。
0263１３２人目の素数さん2007/04/01(日) 10:25:25
圏論の効果や威力を示す簡単な例としては
どんなのがありますか？
0264１３２人目の素数さん2007/04/01(日) 11:20:29
>>263

学部１、２年で習うような簡単な例はないというか、少なくとも俺は知らない。
代数トポロジーとか代数幾何ならある。
0265１３２人目の素数さん2007/04/01(日) 11:36:08
小学１年から集合論を習う様なもんだよ
0266１３２人目の素数さん2007/04/01(日) 11:53:13
まずはホモロジーとドラームコホモロジーを勉強してからだな
0267１３２人目の素数さん2007/04/01(日) 12:17:21
>>264-266
そんなものなの？
それではコンピュータサイエンスで使われているのはなぜ？
集合論の場合でも、中学高校生にもそれなりにわかる効果が
言えたけどな
0268１３２人目の素数さん2007/04/01(日) 12:37:11
効果ネェ……
圏論は形式化指向なんで、具体性が欲しいなら遠回りせにゃ無理だろ。
集合論は素朴集合論の根拠・理屈付けというかなり具体的なもんだから
それと並べてもいかんよ。
0269１３２人目の素数さん2007/04/01(日) 12:37:36
>>267
>それではコンピュータサイエンスで使われているのはなぜ？

コンピュータサイエンスは数学じゃない。
だからそれに使われたからって、学部１、２年で習うような数学に
効果的に使われる簡単な例があるとは限らない。

>集合論の場合でも、中学高校生にもそれなりにわかる効果が
>言えたけどな

それなりにわかることと、効果的に使えることは別。
0270１３２人目の素数さん2007/04/01(日) 12:55:51
>圏論は形式化指向
集合論だって形式化指向でしょ。
>それなりにわかることと、効果的に使えることは別。
そもそも集合論は｢効果的に使う｣ようなものではないよね。
0271１３２人目の素数さん2007/04/01(日) 13:09:27
>>270
素朴集合論を肯定的に記述する公理的な道具の構成という
至極具体的で限定的なモチベーションに基づく形式化と
圏論みたいにアブストラクトナンセンスと揶揄されるような
ほとんど限定的でない形式化とを同等のものと思い込んで
並べてもなにもうれしくはないという話をしてるわけだが。
0272１３２人目の素数さん2007/04/01(日) 13:10:36
線形代数の基底まわりの一意性の議論は
圏論的に見たほうがわかりやすいかもしれんね。
0273１３２人目の素数さん2007/04/01(日) 13:17:35
>>272

どうやるの？
0274１３２人目の素数さん2007/04/01(日) 14:11:34
>>267
集合だって一種の圏だからね。効力絶大だよ。
0275１３２人目の素数さん2007/04/01(日) 14:35:20
集合論の場合はベン図使って個数の処理するみたいな具体的でけっこう初等的な
使い道があったりするわけだけれどもそのくらいのレベルでの圏論の使い道ってのは
やっぱないのかね
0276１３２人目の素数さん2007/04/01(日) 14:40:38
意識が逆じゃね?
0277１３２人目の素数さん2007/04/01(日) 15:02:06
そもそも集合論は中高生には役立たんよ。
良く巧く中高生を騙せたもんだな。
0278１３２人目の素数さん2007/04/01(日) 15:42:18
>集合だって一種の圏だからね。効力絶大だよ。
それは集合の効力であって、圏の効力ではないでしょ
>集合論の場合はベン図使って個数の処理するみたいな
圏論を有向グラフとして使うのがちょうどそのレベルの使い道ではないかな？
>そもそも集合論は中高生には役立たんよ。
その調子でいえば大学生にとっても同じでは？
やっぱ標準言語としての役割があるのではないの
だけど圏論の使い道を聞いてもよい答えが返ってこないのはどうしてかな？
単なる言語としての使い道でもよいのだが
0279１３２人目の素数さん2007/04/01(日) 15:53:25
>集合だって一種の圏だからね。効力絶大だよ。
それは集合の効力であって圏の効力ではないよね
>集合論の場合はベン図使って個数の処理するみたいな具体的でけっこう初等的な
有向グラフとしての圏がちょうどそのレベルの使い道に当たるのでは？
>そもそも集合論は中高生には役立たんよ。
そんなことを言ったら大学生だって同じ。
標準言語としての使い道は明らかにあるでしょ。
ところが圏の場合はその言語としての使い道もどうだかよくわからん。
使い道を聞いてもいつもよい答は返ってこない。どういうことかな？
0280１３２人目の素数さん2007/04/01(日) 16:22:11
>>278
>だけど圏論の使い道を聞いてもよい答えが返ってこないのはどうしてかな？

だから学部１、２年で習うような簡単な例はないか、あるとしても効果的ではない。
使ってもいいが、学生が混乱するだろう。

圏論が出現したのは２０世紀も半ば。
数学がそこまで成熟して初めて圏論の必要性が認識された。
0281１３２人目の素数さん2007/04/01(日) 16:25:09
中学生や高校生にとって「標準言語」としての意味があると思ってんの？
集合論に。
0282１３２人目の素数さん2007/04/01(日) 16:49:04
>>275
Conceptual Mathematicsていう本はそういうレベルの
有限な圏の例がものすごいたくさん出てくる。
ただ、まだ訳されてない。
0283１３２人目の素数さん2007/04/01(日) 17:04:39
>282

例えばどんな例？
0284１３２人目の素数さん2007/04/01(日) 17:06:53
有限次元線型空間とその二重双対空間との自然な同型は
函手の自然変換として捉えられる。
自然な同型と自然でない同型の違いは
線型代数を学ぶ時少し分かりにくい所で、
圏論的理解が有効な所だと思う。




0285１３２人目の素数さん2007/04/01(日) 17:28:55
>>284

それを理解させるのに圏論を１から教えると、ますますわかりにくくなる恐れがある。
要するに、数学の初歩で圏論を教えるのは無理があるのだよ。
0286１３２人目の素数さん2007/04/01(日) 17:36:01
具体例は一般論を理解したうえで見れば本のつまらない例の一つ
ということになるんだろうけど、一般論を理解するには自明な例や
自明ではないが簡単な例などを十分積み重ねなければ存分な
理解は得られないよ。

と俺は研究室に居たときボスに何回か言われた。
中高生や大学初年度級の学生に圏論をっていうのは
それと同じことだと思うんだよ。
0287１３２人目の素数さん2007/04/01(日) 17:42:35
>>283
有限な圏というか、各要素が有限に構成できる圏って感じだった。（ぜんぜん違うがｗ
まあ、自分で嫁
0288１３２人目の素数さん2007/04/01(日) 18:51:05
>>282
>Conceptual Mathematicsていう本はそういうレベルの
>有限な圏の例がものすごいたくさん出てくる。
そういう本であることを期待していたがだいぶはずれた。
結局、写像、有向グラフ、状態遷移図の例とエクササイズがほとんどで、
圏固有の概念や、なぜ圏か、がわかるようなものではなかった。
>要するに、数学の初歩で圏論を教えるのは無理があるのだよ。
やっぱりこうかとも思うが、よくわかった書き手がいない、あるいは、
裸の王様なのかとも思う。
0289１３２人目の素数さん2007/04/01(日) 19:10:08
>>288

なんで、数学の初期段階で圏論にこだわるんだよ。
他にやることは一杯あるだろ。
何回も言うように初期段階で圏論やっても圏論の有り難味が分からない。
ほんとに必要になったらやればいい。
0290１３２人目の素数さん2007/04/01(日) 20:57:24
>>289
>ほんとに必要になったらやればいい。
まあそうかもしれんが、必要になる前に目星はつけておきたい
という気持ちもわかるよね。
相対論だって必要になることなんてないけど分かろうとするよね。
もちろん圏論は相対論ほどのものではないだろうが。
0291１３２人目の素数さん2007/04/01(日) 21:06:57
むしろ、集合論がニュートン力学で、対して量子論に当たるものが圏論なわけで。
0292１３２人目の素数さん2007/04/01(日) 21:10:02
>>290

そんなの個人の自由に決まってる。
やりたければなんでもやればいい。
ただし、虻蜂取らずのリスクはある。

しかし、高校や大学の初年度のカリキュラムに入れろとかとなると
話は全然別ってことだ。
0293１３２人目の素数さん2007/04/02(月) 00:10:17
数学の初学者がいきなり圏論はきついな。
抽象的すぎて（定理とかは証明できたとしても）その意味までは理解できなくなる。
最も、圏論自体は面白い学問ではあるけどね。
ただ、面白すぎて抜け出せなくなる可能性もあるが・・・
0294１３２人目の素数さん2007/04/02(月) 00:27:12
kingの嫌いな女たち
http://www.lustgal.com/?id=full-degradation.com
0295１３２人目の素数さん2007/04/02(月) 00:30:41
kingの嫌いな女たち
http://www.lustgal.com/?id=full-degradation.com
0296１３２人目の素数さん2007/04/02(月) 10:12:17
このスレ

　～～～オワ～～～
0297１３２人目の素数さん2007/04/02(月) 10:28:29
ＥＲＲＯＲ：連続投稿ですか？？ 8回


名前： １３２人目の素数さん
E-mail：
内容：
http://science6.2ch.net/test/bbs.cgi


★ アクセス規制中でも書ける板たち ★

0298１３２人目の素数さん2007/04/02(月) 13:25:44
>>278
＞>集合だって一種の圏だからね。効力絶大だよ。
＞それは集合の効力であって、圏の効力ではないでしょ

その見方は大いに間違っていると言わざるを得ない。
むしろ、集合に効力があるのはそれ自体が圏だからだよ。
数学において代数系や位相空間が有用なのは知ってるよね？
それは、代数系や位相空間も圏であるからに他ならない。
0299１３２人目の素数さん2007/04/02(月) 13:37:16
むしろ圏が代数系なんだとおもうんだが。
0300３００2007/04/02(月) 14:03:52
一見そう思えるかも知れないが、その見方はやがて行き詰まる。
0301１３２人目の素数さん2007/04/02(月) 17:06:12
やはりオブジェクトからなにか抽象量をとりだすようなこと考えない限り
圏論はいらんのではないか。そういう意味では具体例を考える場合には
コホモロジーみたいなものより具体的な例というのは与えることは無理なんじゃないのか
0302１３２人目の素数さん2007/04/02(月) 17:19:55
お前が圏論を知らないことだけは良く分かった
0303１３２人目の素数さん2007/04/02(月) 19:53:18
もし集合論がなく圏論しか無かったとしたら解析学は展開出来ますか。
>>298みたいなことは圏論によって実解析や関数解析を基礎付けてから
初めて言えることだと思うけど。
0304１３２人目の素数さん2007/04/02(月) 20:52:26
そもそも圏論で集合論を基礎付けることが出来る
0305１３２人目の素数さん2007/04/02(月) 20:56:31
それは集合の圏というものを考えることが出来る、というだけで、
圏論の言語によって集合論の理論を解釈することが出来る、というわけじゃないでしょ。
0306１３２人目の素数さん2007/04/02(月) 21:15:34
http://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96
＞トポスと呼ばれる特別な種類の圏は、数学基礎論としての公理的集合論に取って代わることすら可能である。
0307１３２人目の素数さん2007/04/02(月) 21:27:03
だからさ、それは別に解釈可能ということではないんじゃないの？

だとしたら実数などに関する集合論的な興味を持つ人にとっては
代替可能ということにはならないと思うんだけど。
0308１３２人目の素数さん2007/04/02(月) 21:31:21
それにカテゴリー論はBGC内で解釈できるし
巨大基数公理を付け加えればZFC内でも解釈できる。
またZFC集合論での超数学での理論と解釈することも出来る、
とか書いてあったけど。
0309１３２人目の素数さん2007/04/02(月) 22:44:48
>>307>>308
とりあえず死ね
0310１３２人目の素数さん2007/04/02(月) 23:22:00
何で自分の知らない話題になったら「死ね」（しかも氏ねとか史ねじゃなくて死ね）となるわけ？
お前のほうが死んだほうが良いと思うよ
0311１３２人目の素数さん2007/04/03(火) 00:02:23
>>308
集合論で圏論が解釈できることと
圏論で集合論が解釈できるかどうかということは全く関係ない。

で、実際は、
完全に圏論の言語のみで集合論を構成することが可能であり、
たとえば、その具体的なやり方のヒントが、圏論の基礎（S.マクレーン）の付録に載っている。

それによれば、
トポスであり、
１）ウェルポインティッド
２）選択公理
３）自然数対象をもつ

という条件を満たす圏Eを定義すると、それが集合の圏と同じものになるらしい。
が、自分では確認していないので、まあ参考にでも・・・

その本にはさらに元になったLawvereの論文へのreferenceも載ってるので調べたければ、
好きなだけたどれると思う
0312１３２人目の素数さん2007/04/03(火) 02:16:53
うん、何か気になったのでDoverから出てるトポスの本の
categorical set theoryの章をざっと眺めてみたら
ZFCはトポス理論の言語で解釈できるみたいな事が40頁くらい使って説明してあった。

言語の表現力は（人間に使いやすいかとかどのくらい具体的な感じがするかとかは置いといて）
似たようなものみたいだから、後はどういう公理を要請するかが問題になるんだけどね。

＞関係ない
そりゃ当たり前でしょうに。
単に圏論の言語の表現力の強さ≦集合論の言語の表現力の強さだよと言いたかっただけ。
0313１３２人目の素数さん2007/04/03(火) 12:43:57
わかり易い圏論の本ないですか？
0314１３２人目の素数さん2007/04/03(火) 13:27:24
>>313
ttp://d.hatena.ne.jp/m-hiyama/20070122/1169425937
このブログでは計算機科学の立場から圏論を論じた記事が読める。
0315１３２人目の素数さん2007/04/03(火) 20:45:34
>>305
集合の圏じゃなくて一つの集合そのものが圏なんだよ。
だから集合の圏は、圏の圏という2-圏の例というわけ。
0316１３２人目の素数さん2007/04/04(水) 10:10:07
集合は圏とみなせるし、圏が集合で構成できることも明らか。
圏を使えばより効果的、効率的に数学を表現できると言える。
0317１３２人目の素数さん2007/04/04(水) 10:48:00
素朴集合論に対するnaiveなイメージが集合論を公理的に捉える際に
（細部の細かい議論ではない部分で）十分な助けとなるのは確かで、
同様に、集合論やそれに基づく解析や代数といった各種数学に対する
理解が、その圏論的な捉え方への一助となるのは確かにあること。

圏論はobjectが具体的にelementを持たないような場合でも
確かに扱えるが、そのような抽象性は、解析や代数などの具体的な圏に
実際に肌を触れてみなければ、息吹くことは無いだろうと思う。

少なくとも概念の獲得は演繹と帰納の両面をうまく合わせることで
行われるものであるので、圏論によって集合論やその上に構成される
集合論的な数学を基礎付けられるからと言って、はじめからその
圏論の言葉だけで何もかもを語られておれば全て丸く収まるという
ものだとまではいえない。
0318１３２人目の素数さん2007/04/04(水) 11:13:41
圏論的手法はプログラミング言語の世界で言うところの
オブジェクト指向に似たところがあるように思う。どんな
プログラムも手続き型言語で記述することは可能にしても、
オブジェクト指向言語を用いれば規模の大きいプログラム
も比較的容易に効率よく作ることができる。これは例えば
代数幾何においてグロタンディークが圏論的手法を用いた
が故に、膨大な結果の得られたことに比較し得るであろう。
0319１３２人目の素数さん2007/04/04(水) 22:54:27
はぁ？
0320１３２人目の素数さん2007/04/04(水) 23:31:41
オブジェクト指向というよりはもう少し広くデータのカプセル化かなと思う
圏論に限ったことではないんだけど
0321１３２人目の素数さん2007/04/04(水) 23:40:02
こじつけいわれても仕方のないレベルの比較だな
0322１３２人目の素数さん2007/04/04(水) 23:47:53
テンプレやメタプロでも苦しいな
03233202007/04/04(水) 23:56:00
すまん、あんまり考えずになんとなく書いてみたんだが確かにカプセル化は違うな
0324１３２人目の素数さん2007/04/05(木) 00:34:26
ここはレベルの低い奴ばかりだからな
0325１３２人目の素数さん2007/04/05(木) 00:35:18
オブジェクトという言葉からの類推だな。
単純すぎ。
0326１３２人目の素数さん2007/04/05(木) 00:40:57
オブジェクトというより効率を問題にしてるんだろ？
0327１３２人目の素数さん2007/04/05(木) 00:49:55
数学のレベルが低いばかりか日本語の読解力のない奴には困ったもんだな
0328１３２人目の素数さん2007/04/05(木) 01:18:35
# スーパークラス ← サブクラス を順序関係とし、
# ルートクラスを最小元とする半順序集合上にλモデルが作れる。
0329１３２人目の素数さん2007/04/08(日) 04:56:04
米田ってマジで誰だよ？ｗ
0330１３２人目の素数さん2007/04/08(日) 10:25:51
>>329

誰って彼の何を知りたい？

0331１３２人目の素数さん2007/04/08(日) 11:43:39
とりあえず下の名前
0332１３２人目の素数さん2007/04/08(日) 12:39:39
米田信夫
0333１３２人目の素数さん2007/04/08(日) 18:48:47
ぐぐりゃわかるだろうに、Googleさえ知らんのかね。

http://d.hatena.ne.jp/m-hiyama/20070109

岩波数学辞典にも載ってると思うけどな。
0334１３２人目の素数さん2007/04/09(月) 01:17:39
というよりボケるためのネタふりなんだろ
マジレスが続いてがっかりしてるんじゃないか
0335１３２人目の素数さん2007/04/09(月) 02:33:38
>>333
検索結果の範囲では米田信夫のなまえが出てこない。
0336１３２人目の素数さん2007/04/09(月) 07:13:14
>>335
「米田の補題」でぐぐったら３番目に名前と写真が出てきましたが？
0337１３２人目の素数さん2007/04/09(月) 15:17:25
それはそのページに名前と写真があると知ってるからそう分かるだけ。
検索しただけの段階では、ほかに何百ページとある、米田の補題”のみ”を
扱ったサイトと見分けが付かないので、そのページを探そうとはしない。
そもそも、流行りものではない情報なので、普通まずwikipediaを調べにいく。
で、そこには項目が無い、次にen.wikipediaを探しにいく。そこでは項目は
あるが、yoneda lemmaからのリンクが無い。したがって下の名前を知ることが出来ない。
en.wikipediaで名前つきの定理や補題でその元になった人物にリンクして無い
のはかなり異例。この時点で「米田ってマジ誰だよ？」となる。
キマイラ飼育記にしても、あるべき場所にある情報と言う感じではなく、
たまたま、著者が気まぐれによってある本からの情報を抜書きしてるものであり、
写真などは著作権が危ないと知りつつ挙げているものであって、そこにその情報が
あるのは偶然と言える。
0338１３２人目の素数さん2007/04/09(月) 18:16:11
固い頭なんだな
0339１３２人目の素数さん2007/04/09(月) 19:11:10
うぃきだけ調べて終了ではぐーぐるの意味ないじゃん。馬鹿か。
0340１３２人目の素数さん2007/04/09(月) 20:53:19
>>337は宣伝か何かのつもりか？
wikipediaなんてあんなツマンナイジョークばっかり書いてあるサイトなんて
宣伝したってどうしようもないだろ。
0341１３２人目の素数さん2007/04/09(月) 21:02:42
妄想が激しいようで
0342１３２人目の素数さん2007/04/09(月) 21:45:36
uncyclopediaと間違えてるんじゃ？
0343１３２人目の素数さん2007/04/09(月) 23:17:35
いやそのページの内容を知ってようが知ってるまいが、
普通真剣に調べ物をしようと思ったら、Googleの検索結果を
上から20件か30件はクリックしてみるものなんだよ。

上から300番目に名前が出てきたのなら
分からなくても文句は言えないけどね。

だいたい
＞流行りものではない情報なので、普通まずwikipediaを調べにいく。
そんなん普通でもなんでもないよ。日本語のwikipediaを過信しすぎなんじゃないの。
0344１３２人目の素数さん2007/04/10(火) 02:44:49
>>342
uncyclopediaはガキの落書き帖
wikipediaはジョークサイト
0345１３２人目の素数さん2007/04/10(火) 20:19:01
気に入らない記述があるんだったら修正してみれば？
ちゃんとした知識に基づいてるんだったら歓迎されると思うけど
0346１３２人目の素数さん2007/04/10(火) 22:02:19
それが何かniftyユーザはブロックされてて編集できないのだ
0347１３２人目の素数さん2007/04/10(火) 22:24:11
>>345
修正すると、なんか嵐といわれてすぐに記述を元に戻される。
大抵、そういうやつの投稿履歴を調べると全然数学とか触ってないやつ。
0348１３２人目の素数さん2007/04/10(火) 23:17:11
talkページとかも用意されてるんだから、ちゃんと話し合って自分の
記述に根拠がある事を説明すればいいじゃん。
つーか、すぐに戻されるってのはよほど空気読めてない編集と言う気がする。
0349１３２人目の素数さん2007/04/10(火) 23:31:05
>>348
そうか? たとえば「行列式は数」とか書いてあったらさすがに消すだろ?
でも、消したら残す努力をしなかったってことで、
なんかしらんけど、ちょっとでもbytes数が減ると荒らしなんだとさ。
0350１３２人目の素数さん2007/04/10(火) 23:52:15
行列式は～である、って感じの記述に直すなら消されないと思うけど。
0351１３２人目の素数さん2007/04/11(水) 00:26:30
そういや、行列式の件はつい最近もめてたんだっけな。
これに限らず、変なのが粘着しててヘンテコな記述を
バカみたいに庇護し続けて、編集制限だとか日常茶飯事だな
あそこは。

>>350
「行列式は多項式の一種～」とか書いてある直後の段落に
「行列式は数だから～」とか書いてあっても、君は消さないのか？

0352１３２人目の素数さん2007/04/11(水) 00:29:10
★なんとなく良くみるフレーズ
… is easy by Yoneda.
… is easy by Nakayama.
0353１３２人目の素数さん2007/04/11(水) 00:30:25
>>351
「の値」を挿入するとか
0354１３２人目の素数さん2007/04/11(水) 00:49:08
>>353
行列式は数で簡単に表現できるから
行列式は誤訳で
決定式とべきであるという説もある

って実際には書いてあったんだな。
0355１３２人目の素数さん2007/04/11(水) 01:05:19
スレ違い大好きな俺様が来ましたよ。

ウィキペディアって開くページ開くページ軒並み
変なこと書いてあるからおもしろいよねｗ
0356１３２人目の素数さん2007/04/11(水) 10:52:06
>>355
日本語版の事？
0357１３２人目の素数さん2007/04/11(水) 16:11:47
専門外のことは、おかしなことが書いてあるとは分からんけどな。
化学とか工学とか。
0358１３２人目の素数さん2007/04/11(水) 18:03:40
ジャンボー！
0359１３２人目の素数さん2007/04/12(木) 16:14:10
米田の捕題についてどなたか解説お願いします。
0360１３２人目の素数さん2007/04/12(木) 18:49:49
>>359
wikipediaでも読んどけｗ
0361１３２人目の素数さん2007/04/12(木) 20:03:10
簡単な演習問題を出そう。

問題
行列式は自然変換と見なせる。
これを厳密に定義せよ。
0362１３２人目の素数さん2007/04/12(木) 21:04:51
意味不明
0363１３２人目の素数さん2007/04/12(木) 21:18:52
>>362

世話のやけるやつだな。
ヒントをやろう。

有理整数 n ≧ 1 を固定する。
A を可換環としたとき GL_n(A) を可逆な n 次正方行列の作る群とする。

GL_n(A) の元 x にその行列式 det(x) を対応させることにより
群の準同型 det : GL_n(A) → U(A) が得られる。
ここで U(A) は A の可逆元のなす群である。

これでわからなかったら圏論は１０年早い。
0364１３２人目の素数さん2007/04/12(木) 21:59:01
>>361,363
それ何て「圏論の基礎」？
0365１３２人目の素数さん2007/04/12(木) 21:59:59
>>363
やべえ、俺１０年早いやｗｗｗｗｗ
0366１３２人目の素数さん2007/04/12(木) 22:18:41
「圏論の基礎」等というアホな事しか書いてない本を読む奴の気が知れぬ。
0367１３２人目の素数さん2007/04/12(木) 22:29:11
founderアホ扱いしちゃダメじゃねｗ




・・・しかし、アホじゃない本を教えて欲しい・・
0368１３２人目の素数さん2007/04/12(木) 22:31:50
Anm->R(Anm)
R(xy)=R(x)R(y)
0369１３２人目の素数さん2007/04/12(木) 22:40:51
別に GL_n (A) じゃなくても M_n (A) でもええじゃねえか？
GL にする意味が分からん
0370１３２人目の素数さん2007/04/12(木) 22:42:14
つか、GL_n じゃダメでね？
0371１３２人目の素数さん2007/04/12(木) 22:49:39
つうか「圏論の基礎」って、あれいくらなんでも
訳語にカタカナ使いすぎだと思うんだけど。
あんな訳し方するくらいなら、「数学者のためのカテゴリー理論」とか
題名も直訳すればいいのに。
0372１３２人目の素数さん2007/04/12(木) 22:56:10
そういうレベルのいちゃもんかよ
0373１３２人目の素数さん2007/04/12(木) 23:03:14
>>361 の解答まだ？
0374１３２人目の素数さん2007/04/12(木) 23:13:01
GL_n()、U() がそもそもｆあｄないｓ（ｒｙ
模範解答きぼん！
0375１３２人目の素数さん2007/04/12(木) 23:17:17
GL_n(A) が分からなかったら話になりません。
0376１３２人目の素数さん2007/04/12(木) 23:33:01
略しすぎた？
GL_n()、U() がそもそもふぁんｋｔｄんあい（ｒｙ
0377１３２人目の素数さん2007/04/13(金) 08:47:41
誰か、このアホの言ってること翻訳してくれ。
0378１３２人目の素数さん2007/04/13(金) 10:00:57
それがわからないようじゃ圏論は１０年早い。
0379１３２人目の素数さん2007/04/13(金) 12:17:01
>>374

ほれ

kのkをrｔkく。
ｇのkをgrptk。

A に g() をtてfkd gが得られる。

A に u() をtさせてfkdt u が得られる。

よって gのs が得られる。

これはふぁん g からふぁん u へのしである。
0380１３２人目の素数さん2007/04/13(金) 12:40:36
つうか >>361 はMac Laneの本にもろ出てるが。
英語版の 16 ページ。
0381１３２人目の素数さん2007/04/13(金) 13:31:09
>>380
>>364で指摘済。
0382１３２人目の素数さん2007/04/13(金) 16:57:44
そんなことでプライオリティを主張するなよｗ
0383１３２人目の素数さん2007/04/14(土) 09:33:50
環 R 上の左加群のなす圏 を (R-Mod) と書く。
(R-Mod) はアーベル圏である。

(R-Mod) の射 X → Y の全体 (R-Arrows) を考える。

X → Y から Z → W への射を、次の可換図式として定義する。

X → Y
|　　　 |
v　　 v
Z → W

(R-Arrows) は容易にわかるがアーベル圏である。

ここで問題：
(R-Arrows) における射影対象（または単射的対象）は何か？
0384１３２人目の素数さん2007/04/14(土) 16:10:25
なんだおい、行列式だとすぐレスが付いたが、
アーベル圏だとだんまりか。
0385１３２人目の素数さん2007/04/14(土) 17:44:42
射影的対象　M, Nを射影加群としたとき、M　→　M+N
単射的対象　I, Jを入射加群としたとき、I+J →　J
0386１３２人目の素数さん2007/04/14(土) 18:24:07
岩波数学辞典では injective module は入射加群で、
injective homomorphism は単射準同型なんだよね。

injective module は単射的加群でいいと思うけどね。
0387１３２人目の素数さん2007/04/14(土) 21:42:38
もう少し面白い問題ないのか？
0388１３２人目の素数さん2007/04/14(土) 22:10:59
>>387

あれじゃ簡単すぎて面白くないのか？
0389１３２人目の素数さん2007/04/14(土) 22:16:11
簡単すぎない問題が出た事があったっけ？
0390１３２人目の素数さん2007/04/14(土) 22:21:28
>>389
前スレ・前々スレにはいっぱいあったよ
0391１３２人目の素数さん2007/04/14(土) 22:25:13
>>389

その割に解答が遅かったが
0392１３２人目の素数さん2007/04/14(土) 22:57:20
その割に、ではなく、だからこそ
解答が付かないのだろうね。
0393１３２人目の素数さん2007/04/14(土) 22:57:27
>>391
問題が難しすぎる人もすぐには解答をだせないが、問題が簡単すぎる人はめんどくさくて回答しないもんだよ。
ちょうど適度な人が解答の作成に燃える。
0394１３２人目の素数さん2007/04/14(土) 23:13:47
>>387
>>389
>>392
>>393

お前等、ひょっとしてわかってないんじゃないのｗ
分かってるなら、>>385 を証明してみな。
0395１３２人目の素数さん2007/04/14(土) 23:29:55
>>387

群の圏では全ての epimorphism は全射であることを証明せよ。
0396１３２人目の素数さん2007/04/14(土) 23:38:45
証明まだ？
0397１３２人目の素数さん2007/04/14(土) 23:44:09
>>383
Rの可換性を捨ててもおｋ？
0398１３２人目の素数さん2007/04/14(土) 23:57:21
>>397

問題ない。
っていうか任意のアーベル圏でいい。
0399１３２人目の素数さん2007/04/15(日) 01:07:04
圏の定義に出てくる「結合性」ってどうしても必要なんですか？
0400１３２人目の素数さん2007/04/15(日) 01:26:41
とりあえず、「結合性」を潰した上で有意な例を示して。
0401１３２人目の素数さん2007/04/15(日) 07:43:41
自分にはさっぱり分からないんですが、
Ｄブレーンの研究で言及されたりするようです。
例えば、http://arxiv.org/abs/hep-th/0102183
の１０ページ欄外に"nonassociative category"
という言葉が出ていました。
0402１３２人目の素数さん2007/04/15(日) 09:00:05
問題　結合性をめぐって

群のアーベル化はアーベル群の圏から群の圏の函手の左随伴函手として捉えられます。
さて、2項演算が定義された集合(マグマ）の半群化(結合法則を満たす普遍的なもの)は存在するでしょうか。

248でも触れてますが、合成が定義された有向グラフの圏化の存在の有無も論じて欲しい。

0403１３２人目の素数さん2007/04/15(日) 09:10:57
>>402

M をマグマとする。

M の元の重複を許した有限列 a_1a_2,...,a_n の全体か？
0404１３２人目の素数さん2007/04/15(日) 09:39:07
>>403
構成した物はMの下部集合構造のみに依るように見えるが。
集合から構成する自由半群ならそれでいいと思う。
0405１３２人目の素数さん2007/04/15(日) 10:05:55
C を圏とする。
C において C-group というのが定義される。

http://en.wikipedia.org/wiki/Group_object

例えば C として位相空間の圏をとれば、そこでの C-group は
位相群のことである。

C-group と同様にして、C において C-category というのも
定義されるはずである。

もっと詳しく言うと、C において対象 O, A と、射 s, t, c
s: A → O
t: A → O
c: (A × A)/O → A

があり、これ等と、(A × A × A)/O の間に適当な可換図式が成立つ
ものとして定義される。

ここで (A × A)/O はファイバー積を表す。

この概念の有用な例ってあるのか？
0406１３２人目の素数さん2007/04/15(日) 10:20:25
>>405
enriched category　に似てるね。
0407１３２人目の素数さん2007/04/15(日) 10:58:54
>>405
C-categoryの特別な場合として、C-同値関係,C-groupoidも定義できると思います。
代数幾何学における、スキームの一般化である、代数空間やスタックは
(スキーム)-同値関係,　(スキーム)-groupoid の特別な対象と思えます。　
0408１３２人目の素数さん2007/04/15(日) 13:11:10
>>387
>>389
>>392
>>393

証明まだ？
0409１３２人目の素数さん2007/04/15(日) 18:52:36
>>404

俺も書いた後でそう思ったｗ

M の元の重複を許した有限列 a_1a_2,...,a_n と b_1b_2,...,b_m
は a_1a_2,...,a_n = b_1b_2,...,b_m のとき同値として、
この同値関係で割った商集合を取ればいいだろう。
0410１３２人目の素数さん2007/04/15(日) 19:05:42
>>409
a_1a_2,...,a_n = b_1b_2,...,b_mはMの中でですか。
a_1a_2,...,a_nをどうやってMの元と見るのですか。
結合法則は仮定していないので
括弧の付け方に依存すると思いますよ。

0411１３２人目の素数さん2007/04/15(日) 19:09:05
いけね、そうだなｗ
誰か考えてくれ。
0412１３２人目の素数さん2007/04/15(日) 20:51:21
先に無理やり

(ab)c ≡ a(bc)

で割っちまうとか？
0413１３２人目の素数さん2007/04/15(日) 20:55:47
自分で考えろこの馬鹿
0414１３２人目の素数さん2007/04/15(日) 20:57:36
す、すいません、提案しちゃいけませんでしたか
0415１３２人目の素数さん2007/04/15(日) 21:23:39
よくチェックしてないが、大体次のような感じでいいんじゃないかな。
(1) マグマMの台集合で生成される自由半群をLとする。
(2) L 上の次で定義される関係を ～ とする。
abc...z ～ ABC...Z ⇔
abc...z と ABC...Z のそれぞれを、あらゆる方法で括弧を付けて M 内の元
と見なしたときに、それらのうちに M の元として等しいものが存在する。
たとえば M で a(bc) = ((AB)C)D なら L で abc ～ ABCD
(3) ～を含む、L の算法と両立する最小の同値関係を R とする（関係のグラフ
を考えてインターセクションをとればよい）。
(4) L を R で割ったものが M の半群化。
0416１３２人目の素数さん2007/04/15(日) 22:36:47
自己レス。別に自由半群を使わなくても次のようにしてもいいか。
(1) マグマ M 上の次の関係を ～ とする
x ～ y ⇔ある M の元の有限列 a, b, ..., z が存在して、x と y のそれぞれが
何らかの方法で括弧を付けた a, b, ..., z の積になっている
（もちろん括弧の付け方は x と y とで違っていてもよいとする）。
(2) ～を含む、M の算法と両立する最小の同値関係を R とする。
(3) M を R で割ったものが M の半群化。
0417１３２人目の素数さん2007/04/16(月) 02:00:44
自分としては、圏の定義から結合性をはずしてもいいと思います。
結合則を満たすような圏をあらためて「結合的な圏」と表現するのも
悪くはないです。ただ、いまさら定義を変えるわけにもいかない
習慣上の事情もありますから、そこがなかなか難しいとこですね。
0418１３２人目の素数さん2007/04/16(月) 02:03:07
外すことによってなんかメリットあるの？
0419１３２人目の素数さん2007/04/16(月) 02:56:12
いまのところ不明です。
0420１３２人目の素数さん2007/04/16(月) 08:09:24
Mの半群化　>>416をちょっと変えてみました。

(1)マグマ M 上の次の関係を ～ とする
x～y ⇔ Mの元、a,b,cが存在してx=(ab)c, y=a(bc)
(2)～を含む、最小の両側イデアル同値関係をRとする。
(3) M を R で割ったものが M の半群化。

RがM上の両側イデアル関係とはxRyなら勝手なmに対してxmRym, mxRmyとなる関係のこと。
0421１３２人目の素数さん2007/04/16(月) 11:07:56
>>420
ほとんど変わらんが、それでも結局同じだね。
0422４１７2007/04/16(月) 19:49:02
従来の定義は習慣上仕方ないのでそのままにしておいて、
圏の定義から結合則をはずしたものを”非結合的な圏”
（”nonassociative category”）と呼ぶことにすると、
群が圏とみなせるようにマグマも”非結合的な圏”と
みなせます。もし数学において、マグマの概念が有用な
ものならば、”非結合的な圏”の考えも有効と思います。
0423１３２人目の素数さん2007/04/16(月) 20:18:29
>>422
とりあえず有用な理論や有効な手法、なんかの効果的な道具でもいいから
何か朧気にでも用意できてから夢を語れ
0424１３２人目の素数さん2007/04/16(月) 21:19:46
数学においてマグマの概念は、すくなくともモノイドと比較しても、そんなに有用じゃない。

皆が何回も書いてるが、「非結合な圏」で何がしたいのかとりあえず語ってもらわないと
話にならん。
0425１３２人目の素数さん2007/04/17(火) 01:10:33
>数学においてマグマの概念は、すくなくともモノイドと比較しても、そんなに有用じゃない。

そんなにどころがまったく全然有用じゃない。
モノイドとは比較にならない。
モノイドを月とすればマグマはスッポン。
0426１３２人目の素数さん2007/04/17(火) 06:26:58
スッポンは有用だ。
0427１３２人目の素数さん2007/04/17(火) 10:53:21
筋が悪そうに見えることから立派な数学を作り出す
グロモフの様な例もあるよ。
0428１３２人目の素数さん2007/04/17(火) 14:16:26
そんなもん何の励ましにもならない。
大体、必用にせまられないで概念をいじくり回すのは非生産的。
例えば、ｎ個の集合に何個の位相が定義できるかなんていうスレが
あったが、それが典型的。
0429１３２人目の素数さん2007/04/17(火) 14:58:24
>>417 が非結合的圏の理論で数学に革命を起こし、それに伴い
マグマがモノイドよりはるかに重要な概念になるかも。
0430１３２人目の素数さん2007/04/17(火) 15:01:23
まあ、非結合的な環（代数）ってのもあるわけだから、
「非結合的な圏」もまったく無用というわけではないだろう。
0431４１７2007/04/17(火) 15:21:07
>>429
そういう大袈裟なものではないですが、何か名前があっても
いいような気がしたんです。代数系の方ですと、群やモノイド
に対して制限をゆるめた半群とか擬群、マグマなどいろいろ
あるわけです。そういえば、層に対しては前層という概念が
ありますよね。前層の層化というのにならって、非結合的圏
（前圏）の圏化というのが考えられれば面白いと思います。
0432１３２人目の素数さん2007/04/17(火) 15:28:49
そんな不便そうなものに名前を付ける必要はないと思うが。
「マグ圏」とかｗ？
0433１３２人目の素数さん2007/04/17(火) 19:11:22
>>425,426
月は有用？
0434４１７2007/04/17(火) 21:00:39
>>432
いいですね。マグ圏でもマグマ圏でも自分の好きな名前で呼んでやれば
いいと思います。大切なのは、名前をつけて概念化することと考えます。

何の役に立つのか分かりませんが、圏論を一般化したいというのがその
動機です。代数幾何のスキーム理論で、可換環を可換とは限らない一般
の環に置き換えたらどうなるか、という発想と似ているかも知れませんね。
よく見てませんでしたが、>>402さんのところにヒントがのっているようです。
なるほど、群のアーベル化とは随伴函手の一種と考えられるわけですか。
それにならって、圏の圏から前圏（非結合的な圏）の圏への関手を考えて
その左随伴関手をとってやれば、前圏の圏化を定義してやることができる
のではないかと思います。前圏においても米田の補題の類似が成立する
のかとか、カン拡張がすべてというのはここでも有効かなどいろいろ考え
てみると、数学の世界がより広がってますます楽しくなってくる気がします。
0435１３２人目の素数さん2007/04/17(火) 21:59:50
ぐちゃぐちゃ書いてないで、そこに書いてあること自分でやってみな。
とりあえず「前圏の圏化」から。
0436１３２人目の素数さん2007/04/18(水) 00:22:14
>>434
その口を閉じて、もくもくと論文を書け。
成果が出たらスレに還元してくれればいい。
0437１３２人目の素数さん2007/04/21(土) 09:40:15
前圏の圏化については上に書いた通りです。少し修正すべき箇所がある
かも知れませんが、だいたいあんな感じです。どこか重大な誤りがあれば
お願いします。詳しく書けませんけど、あれからものすごい発見をすること
もできたような気がしています。まだ詳細なチェックが必要ですけども・・・。

ところでマグマについて少し考えていたのですが、マグマにもイデアルとか
素イデアルを定義できます。そして、局所化の概念も形式的に得られます。
そうすると、マグマの素イデアル全体に自明なザリスキ位相を入れたもの
としてマグマ上のスペクトラムが定義されます。可換環の場合と同じように
して構造層を考え、局所的にマグマのスペクトラムと同相になるように貼り
合わせてやると、マグマ上のスキームが出来上がります。前圏の圏化の
時と同様に、環からマグマへの忘却関手に対してその左随伴関手をとれば
マグマ上のスキームから環上のスキームへの関手も自然に定義されます。
マグマ上のスキームＸが有限被覆をもち、それぞれのアフィンスキームが
有限生成である場合、Ｘは有限タイプと呼ばれることになります。つまりは、
マグマの元もある”空間”上の”関数”とみなし得るということです。ただし、
”関数”どうしの積が可換でなかったり結合律を満たさなかったりするわけ
です。いずれにしてもこのマグマ上のスキーム理論の世界には、非可換環
上の非可換代数幾何をほんの小さな一部分として含むような、広大な領域
が広がっていると思われます。数学にはまだまだ前人未到の誰も見たこと
のないような世界があるのでしょう。マグマに対する親近感が沸いてきます。
0438１３２人目の素数さん2007/04/24(火) 00:14:12
>>437
>いずれにしてもこのマグマ上のスキーム理論の世界には、非可換環
>上の非可換代数幾何をほんの小さな一部分として含むような、広大な領域
>が広がっていると思われます。

何を言ってんだか。
夢を語るのは誰でもできる。
成果を出しなさいよ。
どんな成果があるの？
0439１３２人目の素数さん2007/04/24(火) 00:18:44
あんたは概念先行なわけ。
こういうのは一般的に言って非生産的なのよ。
数学の発展というのは特殊から一般に行くわけ、その逆じゃない。
まあ、例外もなきしもあらずだろうけど。
0440１３２人目の素数さん2007/04/24(火) 00:33:18
哲厨風味なスレはここですか？
0441１３２人目の素数さん2007/04/25(水) 20:57:52
>>387
>>389
>>392
>>393

証明まだかよ、おい。
いい加減、待ちくたびれたぞ。
大きな口をたたいたんだから、証明出来ないとは言わせない。
簡単すぎるんだろ？
0442１３２人目の素数さん2007/04/25(水) 23:25:22
ﾌﾟ
0443１３２人目の素数さん2007/04/27(金) 20:29:46
もっと夢を語ってくらさい。
0444１３２人目の素数さん2007/04/29(日) 07:22:28
>>443
例えば？
0445１３２人目の素数さん2007/04/29(日) 10:46:50
ここは夢さえ語れない奴が多いからなぁ。オレも含めてｗ
0446１３２人目の素数さん2007/04/29(日) 14:41:41
site上で代数幾何考えて何か新しい発見があるのですかグロタンさん
0447１３２人目の素数さん2007/04/29(日) 18:15:28
>>438
それなら今度はお前が夢を語ってみろよ。
誰でもできるんだろ？
偉そうに結果を出せなんて誰でも言える。
0448１３２人目の素数さん2007/04/29(日) 20:07:02
>>447

夢なんて簡単だよ。
例えば圏論でリーマン予想を解決とかなｗ
0449１３２人目の素数さん2007/04/29(日) 20:39:46
矢印ぐるぐる書いてて楽しい？
0450１３２人目の素数さん2007/04/29(日) 20:50:08
>>448
なんだそれ。その程度なのかよ？
語るってレベルじゃねぇーぞｗｗ
0451１３２人目の素数さん2007/04/29(日) 21:53:31
じゃあ僕は圏論でアメリカ大統領になる！
0452１３２人目の素数さん2007/04/29(日) 21:55:06
圏論＝数学
0453１３２人目の素数さん2007/04/29(日) 23:46:02
圏論でフィールズ賞を取るぞとかなｗ
夢なんていくらでも言えるって。
質を問わなければ
0454１３２人目の素数さん2007/04/30(月) 00:14:32
437の夢はまだマシ、
と言ってるようにもとれる言葉だな
0455１３２人目の素数さん2007/04/30(月) 00:21:59
夢にマシも何も無い
0456１３２人目の素数さん2007/04/30(月) 00:33:37
>>437のは幼稚すぎて話しにならない。
発想が幼稚なわけ。
条件を一般にするというのは最もお手軽な発想。
非可換環のスキームを考えるとかな。
ただし、一般化を考えるのが常に幼稚だって言ってるわけじゃない。
そこに切実な問題意識があれば別。
0457１３２人目の素数さん2007/04/30(月) 00:42:47
Kroneckerの青春の夢なんていう格調の高いのもあるけどな。
ただしこれは夢というより予想、しかも正しい予想だが。
0458１３２人目の素数さん2007/04/30(月) 00:43:56
>>455
「質」は問えるんだそうだぜｗ
0459１３２人目の素数さん2007/04/30(月) 02:17:12
もう予想
04604452007/04/30(月) 09:23:01
それはどうだろうな。
何をもって切実というかは人によって違うから。
お手軽とか幼稚とか人の批判ばかりしてるが、
一般化ってそういうもんじゃないのか？
オレ自身は>>437の話もなかなか面白いと思う。
あんたもあれこれ他人の批判ばかりしてないで
何かもっと高尚なこと書いてみろよ。
オレにはあんたがいちばん幼稚に見えるんだが。
0461１３２人目の素数さん2007/04/30(月) 09:41:08
>>480
>何をもって切実というかは人によって違うから。

そういうところを突っ込むっていうことは俺の話が分かってないということ。
または分かってないふりをしてるかもしれないが。

要するに問題意識をもって一般化するってことだ。
または、ある問題にぶつかったときそれを解決するために一般化するってこと。
0462１３２人目の素数さん2007/04/30(月) 09:42:34
>あんたもあれこれ他人の批判ばかりしてないで
>何かもっと高尚なこと書いてみろよ。

上でアーベル圏の問題を出しただろ。
証明してみろよ。
0463１３２人目の素数さん2007/04/30(月) 09:43:23
煽りは無視
0464１３２人目の素数さん2007/04/30(月) 09:54:25
>>463

どのレスを煽りと言ってる？
0465１３２人目の素数さん2007/04/30(月) 12:29:04
>>445のこと
0466１３２人目の素数さん2007/04/30(月) 12:43:17
>>462
その程度かよｗ
0467１３２人目の素数さん2007/04/30(月) 13:07:35
>>466

だからまず証明してみろよ。話はそれからだ。
1 + 1 = 2 もわからないやつに整数論を語っても無意味だろ。
0468１３２人目の素数さん2007/04/30(月) 13:20:35
exact couple って何の事なの？
0469１３２人目の素数さん2007/04/30(月) 14:00:21
>>467
何を証明するんだよ。
最近ここ来たばっかで分からんのよ。
アーベル圏の問題って何のことよ？
なんで俺が証明しないとあかんの？
0470１３２人目の素数さん2007/04/30(月) 14:39:30
>>469
>なんで俺が証明しないとあかんの？

>>466 はあんただろ。

>その程度かよｗ

っていうことは問題も答えも分かってるんだろ
0471１３２人目の素数さん2007/04/30(月) 14:42:39
>>470
いや、分からないで書いてるだけだからｗ
0472１３２人目の素数さん2007/04/30(月) 14:45:57
>>471

心でいいよ
0473１３２人目の素数さん2007/04/30(月) 15:00:16
上のほうでも証明してみろ証明してみろさんざん
ほざいてるようだけど自分自身で証明してみりゃいいじゃん。
どうせだれにも興味もたれないような問題なんだろ？
キチガイみたいなことばかりいっても煽られるだけだよ。
0474１３２人目の素数さん2007/04/30(月) 15:52:37
exact couple って何の事なの？
0475１３２人目の素数さん2007/05/01(火) 00:01:08
>>473
>どうせだれにも興味もたれないような問題なんだろ？

あんたは何もわかってないんだから黙ってろよ。

アーベル圏を少しかじったものにとっては興味がもてる問題だ。
簡単だとほざいてるやつが数名いるから解いて見ろといってる。
0476１３２人目の素数さん2007/05/01(火) 00:16:13
煽りは無視で
0477１３２人目の素数さん2007/05/01(火) 00:22:39
煽りは無視で
0478１３２人目の素数さん2007/05/01(火) 00:49:46
深谷圏ってどんな圏？
良い参考書プリーズ。
0479１３２人目の素数さん2007/05/01(火) 04:49:34
今日からお休みだ。ところで、マグマの話はどうなったの？
0480１３２人目の素数さん2007/05/01(火) 09:07:57
導来圏について説明プリーズ
0481１３２人目の素数さん2007/05/01(火) 10:11:05
何でもプリーズ
0482１３２人目の素数さん2007/05/01(火) 10:36:40
煽りは無視で
0483１３２人目の素数さん2007/05/01(火) 10:40:41
煽りは無視で
0484１３２人目の素数さん2007/05/01(火) 11:39:45
アーベル圏について説明ｋｗｓｋ
0485１３２人目の素数さん2007/05/01(火) 13:39:17
いつもここに張り付いてる主はどうしたんだ？
0486１３２人目の素数さん2007/05/01(火) 15:53:35
どうでもいいが、ここは夢すら語れないような奴ばっかだな。
0487１３２人目の素数さん2007/05/01(火) 17:23:49
目指すべきはグロタンのDerivateursですな。
0488１３２人目の素数さん2007/05/01(火) 17:26:06
Derivateursって何ですか？
0489１３２人目の素数さん2007/05/01(火) 17:33:01
>>488 ttp://www.math.jussieu.fr/~maltsin/groth/Derivateurs.html
0490１３２人目の素数さん2007/05/01(火) 17:48:33
要は、ｎ-圏のことですね？
0491１３２人目の素数さん2007/05/01(火) 20:18:32
グロタンなどどうでも良い。
グロタンは終わった。
0492１３２人目の素数さん2007/05/01(火) 20:48:35
グロタンの人生って何だったんだろう？
0493１３２人目の素数さん2007/05/01(火) 21:18:58
>>492

くだらねえな。
あなたにとって人生とは？
とか。
青いにもほどがある
0494１３２人目の素数さん2007/05/01(火) 21:22:55
青表紙
0495１３２人目の素数さん2007/05/01(火) 21:32:36
グロタンは僕らに夢見ることの楽しさを教えてくれたのさ！
0496１３２人目の素数さん2007/05/01(火) 21:38:26
グロタンは山奥で畑作って生活してんでしょ？

グロタンは仙人になったのさ
0497１３２人目の素数さん2007/05/01(火) 21:55:26
Grothendieckは山奥で霞とスキームを食って生きているよ。
0498１３２人目の素数さん2007/05/02(水) 05:15:12
死んでも2年ぐらい情報が出なさそう・・・
0499１３２人目の素数さん2007/05/02(水) 08:59:25
exact couple って何の事なの？
0500５００2007/05/02(水) 09:25:00
完全対のこと
0501１３２人目の素数さん2007/05/02(水) 09:45:30
>>499
そのくらい分かっとるがなこの馬鹿
翻訳厨不要
それ以上の事を聞いて居るんだよ
0502１３２人目の素数さん2007/05/02(水) 11:14:12
（日本では）圏論が専門というのもあまり聞かんですね。
0503１３２人目の素数さん2007/05/02(水) 11:26:00
圏論に詳しい研究者は沢山居る。
0504１３２人目の素数さん2007/05/02(水) 11:35:21
代数幾何やってる奴らだけだろ
0505１３２人目の素数さん2007/05/02(水) 11:36:59
知識も見識も狭いなお前
0506１３２人目の素数さん2007/05/02(水) 15:44:30
>>501
そのくらい自分で調べろボケ、ってことだろ？
0507１３２人目の素数さん2007/05/02(水) 17:21:01
自分で全部調べろボケ
0508１３２人目の素数さん2007/05/02(水) 19:22:07
調べ自分で全部ろボケが
0509１３２人目の素数さん2007/05/02(水) 19:56:49
アンカー間違えたり恥ずかしいヤシが多いなｗ
0510１３２人目の素数さん2007/05/03(木) 04:16:41
この調子で1000行くのか？
0511１３２人目の素数さん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 の典型例である。

これからスペクトル系列が得られる。
0512１３２人目の素数さん2007/05/03(木) 12:20:37
>>511
有難う御座います。
所でスペクトル系列を作る以外に応用（適用）はないのですか？
0513１３２人目の素数さん2007/05/03(木) 12:23:16
唐突になんだこいつら……
0514１３２人目の素数さん2007/05/03(木) 12:26:33
>>513
アホ
0515１３２人目の素数さん2007/05/03(木) 12:34:29
ふつうに話題を振ることもできない会話力の欠落したアホが沸いただけ
0516１３２人目の素数さん2007/05/03(木) 16:04:57
>>512
>所でスペクトル系列を作る以外に応用（適用）はないのですか？

知らない。
俺は exact couple と スペクトル系列は殆どイコールと思ってるから、
そういう疑問を持ったことがない。
0517１３２人目の素数さん2007/05/05(土) 12:44:15
やっぱりここは夢を語れる人間がいないとだめだなぁ。
0518１３２人目の素数さん2007/05/06(日) 14:05:17
でもすぐ夢語るやつに限って、こういうとこはイケヌマが多いからなあ。
0519１３２人目の素数さん2007/05/06(日) 17:17:08
圏論に変なロマンを持つんじゃないよ
0520１３２人目の素数さん2007/05/06(日) 17:24:50
で、まっとうなロマンってなに？
0521１３２人目の素数さん2007/05/06(日) 17:40:43
お前余程の馬鹿だな
0522１３２人目の素数さん2007/05/06(日) 18:30:40
自分のことを棚に上げるなよ
0523１３２人目の素数さん2007/05/06(日) 18:35:35
ところでおまえら、モチーフって分かったか。俺は分かったよ。
0524１３２人目の素数さん2007/05/06(日) 23:57:22
だからどうした
0525１３２人目の素数さん2007/05/07(月) 01:07:52
おまえに分かるか？
0526１３２人目の素数さん2007/05/07(月) 22:40:32
だいたいおまえらはな、学問に対する情熱がなさすぎるんだよ。
数学にロマンを抱けないようなやつは数学やっても無駄だろ。
0527１３２人目の素数さん2007/05/10(木) 22:51:02
それはない
0528１３２人目の素数さん2007/05/12(土) 10:01:42
数学者を妻帯者に例えると >>526 は童貞だなｗ
セックスというか女に変なロマンを持ってる。
0529１３２人目の素数さん2007/05/12(土) 19:04:25
圏論だけは新しい数学的成果を生み出せない分野だと思う。
0530１３２人目の素数さん2007/05/12(土) 23:38:06
>>529
おれもそう思うが、あなたはどうしてそう思うの？
0531１３２人目の素数さん2007/05/12(土) 23:40:28
なにをもって数学的成果とするかだろう
カテゴリーってどっちかっていうとメタでしょ？
0532１３２人目の素数さん2007/05/16(水) 09:10:11
>>数学的成果
或る程度以上の数の数学者が面白いと思う結果
0533１３２人目の素数さん2007/05/17(木) 21:49:05
すべてはカン拡張である
0534１３２人目の素数さん2007/05/18(金) 03:03:45
>>532
違うな。今井を納得させうる程の結果だ。
0535１３２人目の素数さん2007/05/21(月) 21:43:45
>>533
>カン拡張
はもう古い。例えば lim は holim の特別の場合だ。
0536１３２人目の素数さん2007/06/02(土) 02:43:11
>例えば lim は holim の特別の場合だ。
くわしく

0537１３２人目の素数さん2007/06/04(月) 20:37:02
>>536
holimは知ってるのか？
0538１３２人目の素数さん2007/06/25(月) 12:54:32
593
0539１３２人目の素数さん2007/07/08(日) 15:49:35

これどう思う？（AAで圏論）
http://pc11.2ch.net/test/read.cgi/tech/1128011645/473-512
　
0540１３２人目の素数さん2007/07/08(日) 21:12:13
合成の結合性が忘れられているな
0541１３２人目の素数さん2007/08/31(金) 16:51:33
0542１３２人目の素数さん2007/09/06(木) 19:26:48
LawvereのConceptual Mathematics持ってるけど、書棚の飾りにしているｵﾚｶﾞｲﾙ。
0543１３２人目の素数さん2007/09/08(土) 04:50:23
GoldblattのTopoi（Dover版にあらず）を飾りにしていたオレもいる
0544１３２人目の素数さん2007/09/12(水) 00:48:35
圏論に関してまともに考えていると気が狂いそうにならない？
いままでよくわからなかったのだけれど最近なんだか強くそう思うようになってきた。
思い込み？
なんかまた精神科で３ヶ月くらい入院とかなりそうで。
勉強したいけど怖くて勉強したくない。せっかく回復したことだし。

てめぇがキチガイでおかしいだけだ。といわれればそうなのだが。
0545１３２人目の素数さん2007/09/12(水) 01:00:50
>>544
ガンガレ…といったらよくないんだよな。
俺の友達にもいろいろ心の問題抱えてるやついるんだけど。
正直どうすればいいか、俺の頭ではわからないんだよな。頭ではなく心で感じるべきなのかな…
0546１３２人目の素数さん2007/09/14(金) 19:31:16
集合論では集合は対象式であるのに対し圏論では圏は対象式でない、と言う風に
Mac LaneのCategories....に書かれていますが、これが現在の圏論の基礎付けの
定番でつか？
0547１３２人目の素数さん2007/09/17(月) 20:02:06
>>544
スピードを下げれば大丈夫と思われる。
あとは、自分と同レベルな人と会話したりすると落ち着くと思う。
0548１３２人目の素数さん2007/09/17(月) 20:05:10
>>546
それってどこに書いてある？
集合は対象式じゃないと思うけど、・・・、式でかけない集合があるわけだから
0549１３２人目の素数さん2007/09/17(月) 20:11:26
>>539
そこに書き込んで流れとめたｗ覚えがあるけど、
やっぱり平面だと、ｺﾚとｺﾚの結合がｺﾚとかがほぼあらわしようが無いから
無理っぽいかなと思った。せいぜいグラフが書ける程度。
だからグラフに圏の入れ方1個しかありえないような場面では
有効だけど、一般的な場合にはAAだけじゃ今のところうまくいかない（せっかくがんばった職人には申し訳ないけど
0550１３２人目の素数さん2007/09/20(木) 07:55:40
>>546
集合論は集合の理論だけど
圏論は圏の理論じゃなくて射（と対象）の理論である

っていうくらいの含みじゃないのかな。（圏の圏というのもあるけど）
0551１３２人目の素数さん2007/09/20(木) 08:05:21
圏論は射の理論というよりむしろ自然変換の理論なんだけどね。
0552１３２人目の素数さん2007/09/20(木) 23:34:16
いい加減なことを書いてはいけないよ
0553１３２人目の素数さん2007/09/21(金) 02:18:34
>>552

何のこと？
0554１３２人目の素数さん2007/09/21(金) 02:30:34
関係ないけどここ一年でやたらと圏論に関するサイト増えたな。
なんかあったの？
0555１３２人目の素数さん2007/09/21(金) 02:34:26
一年前にhaskellの解説本が和書で出てから
haskellがらみで圏論に興味を持つ人が増えたんだと思う。
0556１３２人目の素数さん2007/09/21(金) 08:39:25
あんがと。
haskellねぇ。
0557１３２人目の素数さん2007/09/22(土) 11:44:22
いろんな人が圏論に興味を持つのはいいことだね。
0558Foo ◆p5Ne5aK0Lg 2007/09/22(土) 12:42:29
確かに、Haskell の本にモナドという用語は圏論の影響です、と書かれてるね。
0559１３２人目の素数さん2007/09/22(土) 17:02:28
モナドと圏論の関係が、Haskell の本にちゃんと書いてあればいいんだけどな。
0560１３２人目の素数さん2007/09/22(土) 17:59:11
>>552

何のこと？
0561１３２人目の素数さん2007/09/22(土) 18:43:00
自然変換も射だということ
0562１３２人目の素数さん2007/09/22(土) 18:50:55
>>559
最近出たHaskellの本は言語の入門用だから、それを要求するのは違うと思う。
0563１３２人目の素数さん2007/09/22(土) 19:08:51
>>561

何だ、そんな当たり前のことを言いたかったわけか。
そんなことで偉そうにされてもなｗ

射は自然変換とは限らないだろ。
個々の対象や射より圏、圏より関手、関手より自然変換が重要なのだよ。
これが分かってない奴が多い。
0564１３２人目の素数さん2007/09/22(土) 19:32:44
わかんねーなー。あんたが勝手に重要だと思うのは自由だけどさ。
0565１３２人目の素数さん2007/09/22(土) 19:34:37
>>564

わかんねーなら、黙ってたらいい。
別に自慢するようなことじゃないだろ。
0566５５２2007/09/22(土) 19:39:05
>>563
いい加減なことを書いてはいけないよｗ
0567１３２人目の素数さん2007/09/22(土) 19:48:13
無知な人間に何をいっても無駄だよな。
猫に小判、豚に真珠、馬の耳に念仏。
0568１３２人目の素数さん2007/09/22(土) 20:10:53
domain: {猫、豚、馬の耳}
codomain: {小判、真珠、念仏}
射は何？
0569１３２人目の素数さん2007/09/22(土) 20:28:42
に
0570１３２人目の素数さん2007/09/22(土) 21:30:14
諺圏。
0571１３２人目の素数さん2007/09/23(日) 20:55:06
>>569
そうか。
この諺圏の本質は「に」だったんだな。
0572１３２人目の素数さん2007/09/23(日) 23:25:23
>563
>個々の対象や射より圏、圏より関手、関手より自然変換が重要なのだよ。

なんとなく圏論の基礎のp22-23
「圏」は「函手」を定義可能にするために定義され、
「函手」は「自然変換」を定義可能にするために
に定義されてきたのである。

という一文を思い出した。
0573１３２人目の素数さん2007/09/24(月) 00:40:39
ま、標語的な文章ってのは、真似して得意がる人にとっては
珠玉のごとくというわけですな。
0574１３２人目の素数さん2007/09/24(月) 09:06:50
俺みたいに標語を自分で作るなら問題ないだろ。
もう一個作ろうか。

圏論とはすべてを関手的(functorial)に考えることである。
0575１３２人目の素数さん2007/09/24(月) 09:13:21
>>573

真似というより、真実は一つだから。
0576１３２人目の素数さん2007/09/24(月) 09:14:38
バーロー
0577１３２人目の素数さん2007/09/24(月) 10:44:08
Setの骨格は基数の圏でいいのか？
0578１３２人目の素数さん2007/09/24(月) 10:50:29
もしそうだとするならば、射を関数全体にしてしまっているせいでSetという
圏は集合のことを全然表せていない気がする。集合の本質は各集合が
何を要素として持っているかによって個々の集合を区別するという事だが、
Setという圏ではそういう情報が失われてしまっている。本来区別される
べき集合がほとんど区別できなくなっている。
0579１３２人目の素数さん2007/09/24(月) 10:58:34
>集合の本質は各集合が何を要素として持っているかによって個々の集合を区別する

えー？ それはまた別の圏だと思うけどなあ。
0580１３２人目の素数さん2007/09/25(火) 00:48:48
>>575
>真似というより、真実は一つだから。

というよりは、所詮みんなどうあがいても人間だから。
0581１３２人目の素数さん2007/09/25(火) 01:07:18
人間にとっての真実
0582１３２人目の素数さん2007/09/25(火) 03:01:48
>>580
まあ、その人間が採用するモデル（≒言語）で
真実とされるものはいくつでもありますけどね
0583１３２人目の素数さん2007/09/25(火) 09:34:41
なんか笑った。
やっぱ圏論ってそういうこと考えちゃう学問なんだね。
0584１３２人目の素数さん2007/09/25(火) 15:53:34
おまえら何あがいてんの？
0585１３２人目の素数さん2007/09/25(火) 16:06:53
>>584
>おまえら何あがいてんの？
「何」が射ですか？
0586１３２人目の素数さん2007/09/25(火) 21:39:00
>>583
圏論というかモデル理論の方だろうな
0587１３２人目の素数さん2007/09/25(火) 23:06:21
標語厨どこいった？
0588１３２人目の素数さん2007/09/27(木) 13:05:12
もっと標語作ってみろよ
0589１３２人目の素数さん2007/09/27(木) 22:05:44
もう終わりか？
0590１３２人目の素数さん2007/09/28(金) 02:20:42
標語はもうマクレーンが作りすぎたのでこれ以上いらねｗ
0591１３２人目の素数さん2007/09/28(金) 22:56:29
標語棒じゃないが、マジで気が狂う。
大体、俺がいくら考えたところでそんなもんマックレーンが
すでに思いついただとかどっかですでに言及されているとか
君のその概念の捉え方はどこどこが不自然だよとか変だとか。
実際は言われなくともなんかそういう声が聞こえてくる。

それじゃどうすればいいんですかと言ったところでそんなのは
自分でなんとかするものだっていうことはイヤでも自覚させられている。

やってられない。
0592１３２人目の素数さん2007/09/28(金) 23:10:44
ご要望に答えてもう一個。

問題が解けないときはその問題を一般化せよ。
ただし、一般化しすぎるな。
0593１３２人目の素数さん2007/09/28(金) 23:17:30
もう一個。

トリビアルなことでも徹底的にやれ。
そこから非常にノントリビアルなものが出てくる(こともある)。
0594１３２人目の素数さん2007/09/28(金) 23:45:30
<elements, functions>の双対性
0595１３２人目の素数さん2007/09/29(土) 03:24:34
ツマラン標語だけは止めてくれｗ
0596１３２人目の素数さん2007/09/29(土) 03:29:33
ツマランかどうかは受け手によるから。
猫に小判、豚に・・・
0597１３２人目の素数さん2007/09/29(土) 09:07:48
せめてスレに沿った標語にしてくれ
0598１３２人目の素数さん2007/09/29(土) 10:18:56
沿ってるんだが、あんたが気づかないだけ。
0599１３２人目の素数さん2007/09/29(土) 10:34:35
もーこんなことで…何で…いちいち小競り合いするかな～
0600１３２人目の素数さん2007/09/29(土) 12:58:38
素人のじゃつまらないからマクレーンが作った
とかゆう標語をここで検討したらどうだろう？
0601１３２人目の素数さん2007/09/29(土) 13:07:54
>>600

だから、ツマランかどうかは受け手によるから。
判断能力もないのに検討ってｗ
0602１３２人目の素数さん2007/09/29(土) 13:59:46
いや、あんたの標語は素人目に見てもつまらんからｗ
0603１３２人目の素数さん2007/09/29(土) 14:34:42
>>602

そんなのなんの根拠にもならないからｗ
0604１３２人目の素数さん2007/09/29(土) 15:46:42
＞個々の対象や射より圏、圏より関手、関手より自然変換が重要なのだよ

笑えるねｗ
0605１３２人目の素数さん2007/09/29(土) 17:57:52
能天気なやつは何にでも笑うから
0606１３２人目の素数さん2007/09/29(土) 18:06:56
圏論は数学である
0607１３２人目の素数さん2007/09/29(土) 19:45:39
>>595
あぁ、ごめんなさい。

MacLane先生の
"The standard 'foundation' for mathematics starts with sets and
their elements. It is possible to start differently, by axiomatizing
not elements of sets but functions between sets."
--- S. MacLane, Mathematics: Form and Function

ってのを標語っぽくしてみただけです。
ごめんなさい。
0608１３２人目の素数さん2007/09/29(土) 19:57:41
>>607

何を指して言ってるの？
0609１３２人目の素数さん2007/09/29(土) 22:09:40
＞「能天気なやつは何にでも笑うから 」

また新しい標語かｗ
0610１３２人目の素数さん2007/09/30(日) 02:07:45
随伴函手はいたるところにあらわれる。
0611１３２人目の素数さん2007/09/30(日) 02:10:50
スレの流れ的に特に意味も無くなんとなく書き込んでみた。
少し後悔している。
0612１３２人目の素数さん2007/09/30(日) 02:49:41
対象を用いない圏の定義もあるんだよね？
0613１３２人目の素数さん2007/09/30(日) 05:46:31
対象といっていたところを全部恒等射と言い換えればいいだけ
0614１３２人目の素数さん2007/09/30(日) 18:20:46
米田の補題もそれでちゃんと証明できますよね？
0615１３２人目の素数さん2007/10/03(水) 09:54:07
F. William Lawvereの"Sets for Mathematics"を普通の集合論の本だと思っていたｵﾚｶﾞｲﾙ
ちがうじゃん
Lawvereで気づけよｵﾚ
0616１３２人目の素数さん2007/10/05(金) 23:29:50
検証センター主催の「初歩の圏論」って結局何人行ったの?
行きたかったんだけど就活あったし参加費用高かったしで行けなかった。
感想サイトとかも無いっぽいし・・・。
来年はあるのかな？来年は参加する。
0617１３２人目の素数さん2007/10/07(日) 00:56:26
YouTubeに自然変換の解説が・・・
東洋系の女性講師の解説

Natural transformations 1
http://www.youtube.com/watch?v=FZSUwqWjHCU
Natural transformations 2
http://www.youtube.com/watch?v=XnrqHd39Cl0&NR=1
0618１３２人目の素数さん2007/10/07(日) 06:37:15
発音が悪い
因みに俺は英語のリスニングはわりと出来る。
0619１３２人目の素数さん2007/10/07(日) 16:42:25
萌えない
0620１３２人目の素数さん2007/10/07(日) 18:06:34
早口だよね。
0621１３２人目の素数さん2007/10/07(日) 18:40:04
早口でも発音が良ければわかる。
0622１３２人目の素数さん2007/10/07(日) 18:56:44
カメラ目線が多い
0623１３２人目の素数さん2007/10/08(月) 04:11:29
かわいい幼女を出せ
0624１３２人目の素数さん2007/10/10(水) 01:21:33
>>618
あれならマシな方。南部はもっと訛りが酷くて聞きにくい。
0625１３２人目の素数さん2007/10/11(木) 07:26:57
後で知ったけど有名な人らしい
http://kashino.exblog.jp/6181606/
0626１３２人目の素数さん2007/10/12(金) 21:59:15
発音が悪いって・・・綺麗な（訛りの強過ぎない）イギリス英語じゃないか
0627１３２人目の素数さん2007/10/13(土) 06:07:16
>>626

なこたあない。
0628１３２人目の素数さん2007/10/13(土) 19:26:09
> 因みに俺は英語のリスニングはわりと出来る。

とか抜かしてた御仁ですか？
失礼ですけど全然出来てませんよ。
0629１３２人目の素数さん2007/10/13(土) 19:52:21
出来るって。
イギリス人と普通に話してる。
電話でもな。
0630１３２人目の素数さん2007/10/13(土) 21:16:42
ああこの人か。
後ろ姿でしか見たことなかったから
気づかなかったｗ
http://math.unice.fr/~eugenia/
0631１３２人目の素数さん2007/10/13(土) 21:40:04
>>629
そうですか。
私はイギリス人の学生と一緒にイギリス人の授業を受けてますが
発音なんてあんなもんだろうと思います。
0632１３２人目の素数さん2007/10/13(土) 21:49:19
>>631

どこの田舎？
あれは訛がありすぎ。
0633１３２人目の素数さん2007/10/13(土) 22:03:28
っていうか >>631 は自慢したいだけだろ。
0634１３２人目の素数さん2007/10/13(土) 22:05:24
ロンドンのちょいと北ですが、
あれってむしろイギリス訛は弱いほうだと思いますけど？
あなたはどこの田舎ですか？ アメリカ合衆国？
0635１３２人目の素数さん2007/10/14(日) 07:52:28
せっかく貼ったのに
圏論スレの住人は
相変わらず「背後取り合戦」に熱中するだけか
つまんないの
0636１３２人目の素数さん2007/10/14(日) 08:24:00
>>634

だれがイギリス訛りって言った？
あの女がイギリス人に見えるか？
0637１３２人目の素数さん2007/10/14(日) 08:44:05
いい大人がいつまでやってんの。
0638１３２人目の素数さん2007/10/14(日) 09:49:10
内容はどんなもんなのよ
0639６１４2007/10/14(日) 18:02:29
誰かこれに答えられる人いる？

614 ：１３２人目の素数さん：2007/09/30(日) 18:20:46
米田の補題もそれでちゃんと証明できますよね？
0640１３２人目の素数さん2007/10/14(日) 18:11:29
原理的にはできる。

見通しは悪化するだろうね。
0641１３２人目の素数さん2007/10/30(火) 14:08:01
742
0642１３２人目の素数さん2007/10/31(水) 00:31:19
Function(=Arrow)も一種のbinary relationだから
まあ語術を変えていろいろ見てる分野なのかな？

"Sets for Mathematics", F. William Lawvere
"Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)"
, Saunders MacLane
"Stone Spaces (Cambridge Studies in Advanced Mathematics)", Peter T. Johnstone;

をオーダーしたので数週間後Topos樹海に旅立ってみる。
0643１３２人目の素数さん2007/11/03(土) 12:29:55
age
06446422007/11/11(日) 01:10:57
うぅぅぅ、本きたけど、MacLaneとJohnstoneおいらには無理ぃ。
Lawvere先生の本でSets圏OnlyでとりあえずYoneda's lemmaまでがんばってみるぅぅ。
0645１３２人目の素数さん2007/11/15(木) 04:42:05
JohnstoneはSketches of an Elephantじゃないのか
0646１３２人目の素数さん2007/12/04(火) 04:50:25
清水義夫『圏論による論理学』高階論理とトポス　東大出版会
がでるそうな。
0647１３２人目の素数さん2007/12/04(火) 09:35:25
面白そうだね。
0648１３２人目の素数さん2007/12/04(火) 09:45:01
なぜ、今更、圏論？
0649１３２人目の素数さん2007/12/04(火) 12:57:39
>>646
MacLaneの"Sheaves in Geometry and Logic"みたいな事が書いてあるのかな
0650１３２人目の素数さん2007/12/04(火) 18:56:07
どっちかってえとLambek-ScottとかJacobsとかのほうじゃないか
0651１３２人目の素数さん2007/12/04(火) 22:00:42
>>648
今更って、圏論の他に何があるってんだい？
0652１３２人目の素数さん2007/12/06(木) 02:57:18
>>646
文学よりの本だったら躊躇するなあ。
0653１３２人目の素数さん2007/12/06(木) 12:20:59
文学？
0654１３２人目の素数さん2007/12/06(木) 13:17:52
数学車は哲学がお嫌いなのですか？
0655１３２人目の素数さん2007/12/06(木) 13:51:22
あげるな哲厨
0656１３２人目の素数さん2007/12/06(木) 16:26:23
あげるな哲厨
0657１３２人目の素数さん2007/12/07(金) 23:26:53
哲学よりならまだしもなんで文学？
大陸の訳の分からないレトリックばっかしの哲学と混同してない？

まあ多分大丈夫だと思うけどね。哲学科の人ではあるけど、
同じ東大出版会の論理学のテキストは哲学のての字も無いみたいな
感じで純粋に数学的だったから。

でもGeometryの部分はありえなさそう
ttp://www.utp.or.jp/bd/978-4-13-012057-9.html
0658１３２人目の素数さん2007/12/07(金) 23:27:57
あとtopos理論って確かDoverから出てるテキストで、
ネットでただで読めるのがあったと思うけどアレはどんな感じなんだろう。
0659１３２人目の素数さん2007/12/12(水) 03:05:15
>>658
GoldblattのTopoiか?
読んだのが昔なので記憶が曖昧だが、
topos一元主義的なところがあったような気がする。
まあどちらかといえば、Doverのほうで読んでみるのを薦める。
0660１３２人目の素数さん2007/12/13(木) 02:36:30
>>658-659
とりあえず参考までにRobさん関係の網帖をば

ttp://www.mcs.vuw.ac.nz/~rob/
ttp://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010&view=50&frames=0&seq=15
0661あや☆2007/12/22(土) 15:43:05
>>646
いよいよ出版されたね
06626422007/12/22(土) 20:11:00
>>661
AMAZONからe-DMきたぉ
0663１３２人目の素数さん2007/12/23(日) 00:00:16
その後べんきょう進んでる？
0664１３２人目の素数さん2007/12/23(日) 00:54:56
>>663
separatorでつまづいていますorz
0665１３２人目のパンジャさん2007/12/23(日) 12:59:36
きゃーの　きゃーの　ペルシャですの
うふふ☆
つばめさんって、相変わらずうっすらぱーなんですので
ぺるしゃったら思わず笑ってしまいましたのよ☆

がう～
0666白ちぃ2007/12/23(日) 14:58:09
ち？
0667１３２人目の素数さん2007/12/24(月) 00:13:59
新しい本どう？
0668１３２人目の素数さん2007/12/24(月) 01:05:21
つまらん。
0669１３２人目の素数さん2007/12/24(月) 08:09:22
>>668
おまえの人生を振り返ってか？
0670１３２人目の素数さん2007/12/24(月) 13:03:58
いま読み始めたんだけど、どこがどんなふうにつまらないの？
0671１３２人目の素数さん2007/12/24(月) 13:20:52
蓼食う虫も好きずきっていうやないか。
まぁまぁ、そうムキにならへんでも・・・
0672１３２人目の素数さん2007/12/24(月) 14:58:43
きょうから読み始めてる者ですが、なかなか面白いと思います。
が、20ページの2行目のところでいきなりつまずいてしまいました。
（λx．Ｔ＝λx．x）なんですが、どうしてこれがＦの定義になる
のですか。よろしかったらどなたか解説よろしくお願いします。
0673１３２人目の素数さん2007/12/24(月) 16:30:57
Ｆの定義そのものじゃねえか W
0674１３２人目の素数さん2007/12/24(月) 16:47:13
どういうことなんですか。単純に「Ｔでない」という定義ではだめですか。
0675１３２人目の素数さん2007/12/24(月) 17:43:07
なるほど、なんとなく理解することができました。
すべてが成立する、ということはないことを前提として、
それを偽の定義として採用しているわけなんですね。

次に25ページのところなんですが、Ｔ．1の証明の過程で
（1）と（2）が同じ式になっているのはどうしてなんですか。
まさか、ミスプリではないですよね？
0676ななめ苺2007/12/24(月) 17:52:29
なの～
0677１３２人目の素数さん2007/12/26(水) 23:42:42
　　　　　　　　　 |l.＞...⌒ヽ└=ｧﾗ-‐.:.:＞..:.:.￣.:.｀ヽ-...、
.　　　　　　　　 ／..:.:.:.:.:.:.:.ﾊ....//‐.:.／..:.:.:.:.:.:.:.,.:.-‐.:.:.:.:..＼
　　　 　 　 　 /.:.:.:.:.:.:.:.:.:./.:.}／ｰ:./ｨ＿-､:. ／..:.:.:.:.:.:.:.:.:.ヽ:.ヽ
　　　　　　　/:.:.:.:.:.:.:.:.:.:/.:.:∧.:.:./..:.:.:.:.:.:. /７..‐-/､.:.:.:.:.:.:.:ﾊ:. i
　　　 　 　 /{.:.:./.:.:.:.:./.:.:./...l|∨.:.:.:.:.:.:. /.:/:.:.:.://丶ー十'｜:|
　 　 　 　 ハ!:/.:.:.:.:.:.:.:.:.:ﾊ＞|ﾐl.:.:.:.:.:.:.:/_ｲ―:.､/.:.:.:.厂:7.:.:ﾘ:.:|
　　　　　 l.:::l/:::::::...:.:.:.:./V/7ヽ|:.:.:.:.:.:/､_ ヽ:/:ｲ｀::.:/.:.:/:/:;..:.:ﾘ
　　 　 　 |:.:/.:.:.:.:.:.:.:.:.:ハﾄ､{ 〈 |.:.:.:.:l｜}¨７ぅﾐ､＼/::::/ナ/::::/
　　 　 　 |/.:.:.:.:.:.:.:.:.:/　 |.:.ヽ｀ l:.|:.{.:!:| ﾍ.ﾋzﾂ `　 `,孑ｧ7//
　　　　　/ .:/.:.:.:.:.: /　　l.:.:.|:.}ｰⅥ:l:.N 　 　 　 　 ﾄﾋﾙ:/ ´
　 　 　 ,′/.:.:.:.:.:.:/　　 l.:.:..V　　 ｀ヽ　　 　 　 　 〉/ｲ{　そうでしょうか？　　
.　　 　 i :..:'.:.:.:.:. /i′　｜:.:...ト ､　＼　　　　 ､tｰく __｀
　　　　| :.i .:.:.:.:/: |　　　|.:.:.:...l` ｰ ﾆ.7＞.. _ ..イ ｀ソ ,_＞､　　　　　 ,. --_､　
　　 　 | .:l.:.:.:./:.:｜　 _.. V.:.:.:.ヽ.　　l //:/::::::.l|／‐'´_／ ,ﾊ　　　／ ／´/　
　　 　 ! .|:.:.:/.:_:斗＜＜　ヽ::::::::.＼ | |ト ､::::::.:|　　　　‐' ,/j＿_/__/′ﾐ/　　
.　　　 | .|.:.:./´..... . . . .｀ .ｰ-＼:::::... Ⅵ}　__.＞|　　　　　{iｲ　　{ ,/'イミi′　
　　　｜l::::/.:.:.:.:.:.. . . . . . . ヽ ..|＼:::...ヽ＼｀＼|　　　　 ∧.V～Ⅵ!‐ﾄ､.{　　　
0678１３２人目の素数さん2007/12/27(木) 20:22:41
σ（＾◇＾）　じつは、そうなんでつ
0679１３２人目の素数さん2007/12/28(金) 15:51:50
新しい本どう？
0680１３２人目の素数さん2007/12/31(月) 21:57:51
オレ以外に読んでる奴いないの？
0681１３２人目の素数さん2007/12/31(月) 21:59:37
いない。
0682パンジャ＠謹賀新年　 【大吉】 【1590円】 2008/01/01(火) 01:04:50
がう～
0683圏論による論理学2008/01/01(火) 14:34:08
63ページの「空集合は空要素をもつ」という表現に
考えさせられました。この本なかなか面白いな。
論理学の本なので、主にこっちでやっています。
http://academy6.2ch.net/test/read.cgi/philo/1194155261/l50
0684１３２人目の素数さん2008/01/03(木) 01:04:07
突然ホモロジー代数の話題になるが、
A を有限アーベル群とするとき、 Ext(A, A) を Hom(A, A) 上の両側加群と考える時、
Hochschildコホモロジーは消えるのかな。
http://www.cpt.univ-mrs.fr/~coque/articles_html/grassmann/node7.html
係数環は Z で考えている。 A が一般だったらどうだろう。
0685１３２人目の素数さん2008/01/05(土) 23:11:51
誰かホモロジー代数（または、コホモロジー）のスレ立てれ
0686１３２人目の素数さん2008/01/05(土) 23:24:46
終わった分野を、何を今更。
0687１３２人目の素数さん2008/01/06(日) 00:40:37
>>686
終わってなんかいないさ。
むしろ必須の道具。更に発展している。
http://science6.2ch.net/test/read.cgi/math/1119870806/794
0688１３２人目のパンジャさん2008/01/06(日) 19:03:19
がう～
0689１３２人目の素数さん2008/01/08(火) 20:10:40
>>683
本屋で立ち読みしたけど、最後に量化子の話が来てた。
量化子のことがわかりたくて仕方が無かったけど、
方向的にtopos方面でいいことがわかったのでよかった（本は買わなかったがw）。
とりあえずLambek, Mac Lane/Moerdijk, Lawvereの手持ちの本こなすよ。
0690趣味の論理学2008/01/09(水) 20:18:04
Lawvereの"Sets for Mathematics"なかなかいいよね。
"圏論による論理学"やったあとだとだいぶ読みやすい。
Johnstoneの"Stone spaces"と両方やっていくつもり。
0691１３２人目の素数さん2008/01/11(金) 01:52:41
>>690
Vickersの"Topology via Logic"
随所で"Categorically speaking, ..."とか言ってる。
0692趣味の論理学2008/01/11(金) 19:54:53
Vickersの本、ComputerScienceよりでめちゃくちゃ面白そう。
日本評論者の"位相と論理"、その本に影響受けてるのかも。
0693趣味の論理学2008/01/20(日) 19:23:38
上の"日本評論者"は"日本評論社"の間違い。
Vickersの"Topology via Logic"面白そうだから買ってみた。
ところどころ絵や図がのっていて実に楽しいね、この本は。
"圏論による論理学"とはまた違った意味で、論理とは何か
を分かったようなつもりにならせてくれる。"Stone spaces"
の副読本として最適と思った。直接には圏論を用いてない
けれども、圏論的に考えるためのヒントが書いてあるから
分かりやすい。"圏論による論理学"と"Stone spaces"の
架け橋になってくれるのではないかと期待しているところ。

0694１３２人目の素数さん2008/02/10(日) 22:21:05
清水の本、チャーチetcがラムダ計算に対してやったことをカテゴリで焼きなおしてるだけジャンｗ
ってかカテゴリ系の研究ってみんなそんなもん、新しいことを何一ついわずに、
カテゴリという言語でかきなおしただけｗｗｗｗｗｗｗｗｗｗ
しかもこの本、ラムダ計算そのまま使って高階論理あらわしちゃってるしｗｗｗｗｗ

いたすぎｗｗ
0695１３２人目の素数さん2008/02/11(月) 00:23:05
>>694
そりゃtoposだけ見てりゃそうだろうけどCCCとかmonadとかだとまた違うだろ。
君のほうがいたいよ。
0696１３２人目の素数さん2008/02/12(火) 03:10:57
"... understanding consists in reducing one type of reality to another." - C. Levi-Strauss
言い換えてみる事も悪いことではないんでないの？
0697１３２人目の素数さん2008/02/13(水) 03:44:57
>>694
たぶん、型つきλ計算なら問題ないんじゃ？
そういえば、竹内層圏トポスの層のところもひどかった。
そこで、topoiをどこか翻訳出版しないかな？
0698１３２人目の素数さん2008/03/01(土) 16:34:56
Lawvare & Schanuel, _Conceptual Mathematics: A First Introduction to Categories_, Cambridge U.P., 1997.
今知ったんだけど、全部オンラインで読めるのね。

http://books.google.co.jp/books?id=o1tHw4W5MZQC&printsec=frontcover&as_brr=3
0699１３２人目の素数さん2008/03/01(土) 21:41:16
それって一括でダウンロードする方法ないかなあ。
0700１３２人目の素数さん2008/03/02(日) 13:00:08
全部は読めないよ。一部だけ。
0701１３２人目の素数さん2008/03/24(月) 22:45:58
「圏論と論理学」読んでる人へ。
91pで偽を定義してるとこ。
この定義だと、偽と真が等しい矢であることもありえるんだよね？？
0702１３２人目の素数さん2008/03/25(火) 01:15:47
>>701
俺も悩んだけど、pullbackの定義に戻るとＴと⊥が違う射でなくてはいけないことが分かった
07037012008/03/25(火) 11:38:40
>>702

　Ｔ = ⊥　　　　　　　　　　①
である場合、任意の対象Eとh:E->1、k:E->1について、
　Ｔ o h = ⊥ o k 　　　　　②
となるから、pullbackの定義より、
　h = ! o l　　　　　　　　　③
　k = 0_1 o l　　　　　　　　④
なる l:E->0 が一意的に存在しなければならない。
ところが、1は終対象だから!:0->1と0_1:0->1は等しい。
　! = 0_1　　　　　　　　　　⑤
よって、③④の条件は、①②⑤より
　Ｔ o ! o l = Ｔ o ! o l
となり、任意のlがこれを満たすことになる。
つまり一意的ではない（？）

とくにSet圏の場合、0は空集合なのでEが0でなければ E->0 なる射は存在しないから
pullbackの条件を満たせない。

こういうこと？
07047012008/03/25(火) 11:46:09
92pの図2.2
!について、0の空要素を1の要素に対応させてるのもよくわかんないんですよね～
0705１３２人目の素数さん2008/03/25(火) 20:04:55
圏論の何たるかを知らない奴らのスレだな
07067012008/03/25(火) 21:42:09
Yes !!
少なくともオイラは知りません。
Conceptual Mathematicsにつづいて、まだ二冊目です！！(＞▽＜;;
07077012008/03/27(木) 22:43:31
「圏論と論理学」158p

　するといまや、集合の場合のB~（=｛φ｝∪{{y} | y ∈ B})
　に相当するトポスでのB~は、上の（＃）より、
　下図をみたすh^とidとのequalizerとして定義できてくる。

なぜ？？
0708１３２人目の素数さん2008/03/29(土) 21:59:09
Categories for the Working Mathematician
S. MacLane

Amazonでは品切れだね。
皆さんは邦訳読んでるの？
0709１３２人目の素数さん2008/03/29(土) 22:01:20
あるのね。
http://www.amazon.co.jp/dp/0387984038
拙速でした。
0710１３２人目の素数さん2008/03/30(日) 04:46:12
>>708
あんな売れ筋商品がout of printにはならんだろw
未だにpaperbackにもならねぇorz
0711１３２人目の素数さん2008/04/11(金) 12:26:40
そのうち（or 既に）objectにあたるものが存在しないが圏みたいなものとみなせるような概念が使われるようになるのだろうか
点の集合ではないが幾何的な空間とみなせる非可換空間が今使われてるように
ただ上記の圏もどきを考えて何になるのか想像もつかないが
0712１３２人目の素数さん2008/04/11(金) 21:00:36
>>711
何かが存在しないとダメだ。
0713１３２人目の素数さん2008/04/12(土) 04:07:39
GTMの本はpaperbackにはなかなかならんと思うが。
0714１３２人目の素数さん2008/04/12(土) 20:30:59
GTM vol. 10 は paperback になっている。
0715１３２人目の素数さん2008/04/12(土) 23:36:09
objectなくてもmorphismだけあればいいんだよ
0716１３２人目の素数さん2008/04/13(日) 03:40:11
>>715
そういや普通に圏をmorphismだけで定義出来たんだっけ
それではobjectもmorphismも無いのを考えたらそりゃ何も無いって事にしかならないわね…
0717１３２人目の素数さん2008/04/13(日) 10:24:44
morphismだけで圏を定義する立場で「objectにあたるものが存在しない」を解釈するなら、
「単位元がない」の意味に取れるけどなあ。結局イミフだよ。
0718１３２人目の素数さん2008/04/13(日) 18:05:35
>>715
objectがないじゃなくて
objectのelementがないの間違いではないの？
0719１３２人目の素数さん2008/04/13(日) 23:09:38
>>718
君は圏論が分かってない
0720１３２人目の素数さん2008/04/14(月) 14:21:28
>>716
objectがなくてもdomainさえあればmorphismがobjectの代わりになってくれるよ
0721１３２人目の素数さん2008/04/15(火) 11:55:10
identity maps
0722１３２人目の素数さん2008/04/21(月) 16:16:05
普通に対象も射もない零圏てのがあるよ
0723１３２人目の素数さん2008/04/21(月) 16:27:11
すべての圏が零圏じゃ困るだろうが
0724１３２人目の素数さん2008/04/21(月) 17:02:36
age
0725１３２人目の素数さん2008/04/28(月) 08:32:22
morphismだけの定義で頑張ってる圏論の本ってある？
0726１３２人目の素数さん2008/04/28(月) 10:56:00
>>725
確か
数学選書圏論(カテゴリー) (単行本)
大熊 正 (著)
出版社: 槙書店
がそうだと思う。
0727１３２人目の素数さん2008/04/28(月) 12:58:35
>>726
thanks !
0728１３２人目の素数さん2008/05/24(土) 01:36:41
沸騰
0729１３２人目の素数さん2008/07/23(水) 03:24:43
737
0730１３２人目の素数さん2008/08/31(日) 13:21:12
二年六時間。
0731１３２人目の素数さん2008/09/16(火) 17:07:34
圏の定義で、射の結合則はずしたらどうなる？
0732１３２人目の素数さん2008/09/17(水) 01:33:34
おバカでセンス-255のやつでも
理解できる本教えて
0733１３２人目の素数さん2008/09/17(水) 13:10:46
>>732
コホモロジーのこころ：加藤五郎　とか
ttp://d.hatena.ne.jp/m-hiyama/20060821/1156120185
とか
0734１３２人目の素数さん2008/09/17(水) 21:11:55
>>732
ない
0735１３２人目の素数さん2008/09/17(水) 21:15:44
LawvereのConceptual Mathematicsとかは
まあ分かりやすいよ。ただ現代数学に応用とかの
レベルには到底到達しないけど。
0736１３２人目の素数さん2008/09/17(水) 21:33:00
C.A.Weibel, An Introduction to Homological Algebra, 1994
でも嫁
0737１３２人目の素数さん2008/09/17(水) 21:57:11
圏の定義で射の結合則はずしたのを研究してるヤツいる？
0738１３２人目の素数さん2008/09/17(水) 22:32:48
>>732
無いのか

>>735
基礎学力程度でいいのでつが
それ読むと大丈夫？
0739１３２人目の素数さん2008/09/18(木) 22:02:37
「圏論の基礎」ってカタカナ語使いすぎだと思うんだが。
「イコライザー」「プルバック」とか勘弁してくれよ、、
カテゴリーを圏と訳しておきながらそれは無いだろう。

＞基礎学力程度でいいのでつが
どの程度を目指してるのか、その説明じゃ全然分かんない。
数学科の大学院生が、基本的教養として、とか言うのなら全然足りない。
一方、ちょっと圏をかじってみてどんな雰囲気のものなのか知りたい、とか言うなら充分
大学一、二年生向けの少人数選択講義で「圏論入門」みたいなのを
Lawvereがやったらしくて、それを本にしたのが>>735の本。

>>736のはもっと難しい本。

誰か「圏論への30講」とか書いてくれないかねｗ
0740１３２人目の素数さん2008/09/22(月) 03:59:46
＞誰か「圏論への30講」とか書いてくれないかねｗ

うん、でてきてほしい。
でも昔それをやろうとしたのが、かの「層・圏・トポス」だったわけで、、、。
0741１３２人目の素数さん2008/10/06(月) 04:29:22
Lawvereの"Sets for Mathematics"じゃ駄目なのかい
トピックが偏ってはいるけどさ
0742１３２人目の素数さん2008/10/07(火) 00:04:27
A. J. Berrickの"Categories and Modules With K-Theory in View"
買おうかなーって迷ってるけど
TOC見る限りえらく懇切丁寧な本な気がしたが
0743１３２人目の素数さん2008/10/08(水) 10:48:23
age
0744１３２人目の素数さん2008/10/08(水) 11:07:56
>>11
そもそもヒルベルト多項式の理論が分かりませんっ！！
なに読めばいいですか！？
0745１３２人目の素数さん2008/10/08(水) 14:41:06
可換環の本だろう
0746１３２人目の素数さん2008/10/08(水) 14:52:32
【新潟】古代九九発掘　７×９＝４７？　３×９＝２４？古代人も四苦八苦
http://mamono.2ch.net/test/read.cgi/newsplus/1223443044/
0747１３２人目の素数さん2008/10/08(水) 22:24:11
>>744
M. Reid "Undergraduate Commutative Algebra"
とか、分厚くなるけど、
[UTM] "Ideals, Varieties, and Algorithms"
辺りでは駄目？
0748１３２人目の素数さん2008/10/10(金) 08:18:24
[UTM] は面白くないんじゃないの？むしろ情報系のための本な気がするし
0749１３２人目の素数さん2008/10/11(土) 00:49:56
>>748
だけどいきなりEisenbudせんせの本を薦めるのもどうかと・・・
paperback安いけど・・・
0750１３２人目の素数さん2008/10/12(日) 20:55:52
Eisenbudの本はinjective moduleなどが丁寧でいい。cohenのstructure theoremも言及されているが証明はあったかどうだか覚えてない。
0751１３２人目の素数さん2008/10/13(月) 18:25:59
Eisenbudの本ってどれを指してるのですか
"Commutative algebra. With a view toward algebraic geometry"
でいいのですか？
0752１３２人目の素数さん2008/10/13(月) 20:36:01
そう。永田「可換環論」もいい。また、Srinivas「Algbraic　K」のappenndixが代数幾何の重要な部分を補完していて非常によい。
0753１３２人目の素数さん2008/10/13(月) 22:15:51
圏論って何の役に立つの？
0754１３２人目の素数さん2008/10/13(月) 22:20:17
情報数学の理論で圏論の応用がよく顔を出すらしいよ
圏論そのものを研究するんじゃなくて、的に
0755１３２人目の素数さん2008/10/25(土) 07:21:46
>>753
代数幾何では導来圏が重要なツール。
コホモロジーが出てくる分野では圏論は必須。
0756１３２人目の素数さん2008/11/26(水) 23:22:13
うるさい。
0757１３２人目の素数さん2008/12/08(月) 08:21:23
圏論を勉強しています。
下記に質問しましたのでご覧いただけましたら幸いでございます。
http://beauty.geocities.jp/noname45754/study/hoge1.jpg
0758１３２人目の素数さん2008/12/08(月) 09:00:49
>>754 文献は？
0759１３２人目の素数さん2008/12/08(月) 11:05:01
>>757
「圏論の基礎」の p.11 を写し間違えている？
普通は O は「対象の集合」だと思うけど．

対象の集合だとすれば話は簡単で，
例えば（普通の意味の）グラフ G = (V, E) を
　V = {a, b, c},
　E = { (a,b), (b,c), (c,a) }
なるものだとする（３点からなるサイクル）．
このとき，O, A はそれぞれ
　O = {a, b, c}，
　A = {f: a->b, g: b->c, h: c->a}．
になる．dom f = a, cod f = b など．
合成可能対は { (g,f), (h,g), (f,h) } ．
0760１３２人目の素数さん2008/12/08(月) 11:18:06
>>758
754 じゃないけど，例えばプログラム変換界隈だと
Tarmo Uustalu, Neil Ghani and Varmo Vene:
"Build, augment, and destroy, universally", LNCS 3302
なんかは個人的に好み．
この著者らのグループがこういうことを主にやってる感じ．
0761１３２人目の素数さん2008/12/08(月) 12:41:43
>759
ありがとうございます。

>>>757
> 「圏論の基礎」の p.11 を写し間違えている？

はい、そうです。ちょっと難しくて。。


> 普通は O は「対象の集合」だと思うけど．

という事は何らかの対象がGがあってO=Ob(G)となっているのですよね。


> 対象の集合だとすれば話は簡単で，
> 例えば（普通の意味の）グラフ G = (V, E) を

すいません。グラフの定義が分かりません。
調べては見たのですが写像の像がグラフだと思いますので
圏論では射の像,つまりcodfがグラフに相当するのでしょうか?
0762１３２人目の素数さん2008/12/08(月) 12:42:47
> このとき，O, A はそれぞれ
> 　O = {a, b, c}，
> 　A = {f: a->b, g: b->c, h: c->a}．

自分から自分への射,a->aとかは考えないのでしょうか?

> になる．dom f = a, cod f = b など．
> 合成可能対は { (g,f), (h,g), (f,h) }

すいません。いまいちよく分かりません。
A×_o Aの定義は{<g,f>;f,g∈Aかつdomg=codf}となっていて
dom:A→O, cod:A→O となっていますよね。そしてA=Mor(C,D)
するとdomA=C,codA=Dですよね。そしてこれら像はOに属する。。。

A=Mor(C,D)と考えるのではなくてO=Ob(G)というGという性質(?)の集まりで
O={a,b,c,d}とするとAはOで考えられる射の集まりなので
A={Mor(x,y);(x,y)∈O×O}と書けるのですね。
よって A={f_1:a->b,f_2:a->c,f_3:a->d,f_4:b->a,f_5:b->c,f_6:b->d,f_7:c->a,f_8:c->b,f_9:c->d,f_10:d->a,f_11:d->b,f_12:d->c}となるのですね。
それで合成可能対はdomの像とcodの像か一致しているものですよね。
{<f_1,f_5>,<f_2,f_7>,…}という風にして探せれるのですね。
なんとなく分かってきました。
0763１３２人目の素数さん2008/12/08(月) 18:11:23
アーベル圏の、その部分アーベル圏によるquotient圏て
対象は元の（大きい方の割られる方の）アーベル圏の対象を
そのまま使うけど、
射の定義がよくわかりません( ~っ~)/

Wikipediaに一応定義載ってますがあまりいい解説に思えません。。
0764Ｘ2008/12/08(月) 18:36:33
○○○○○―○○○○＝３３３３３ ・1～9の数字を使って○を埋めなさい
0765１３２人目の素数さん2008/12/08(月) 19:33:06
>>761
> 調べては見たのですが写像の像がグラフだと思いますので

それも言うなら「原像と像との組の軌跡」だろうが、そもそも
グラフ違いじゃｳﾞｫｹｪ
0766１３２人目の素数さん2008/12/08(月) 20:53:47
>>761-762
圏論の基礎を読むには基礎体力が大幅に足りて無いように見える．

>>761
> という事は何らかの対象がGがあってO=Ob(G)となっているのですよね。
ここでの Ob の定義は何？対象を引数に取るの？

>>762
> 自分から自分への射,a->aとかは考えないのでしょうか?
有限グラフなら考えない（流儀による）．
圏なら id: O → A が定義できないといけないので必須．

> そしてA=Mor(C,D)
ここでの Mor の定義は何？

> するとdomA=C,codA=Dですよね。
domA, codA って何？ この等号は何で成り立つの？

> A={Mor(x,y);(x,y)∈O×O}と書けるのですね。
ここでの Mor(x,y) って何？
常識的に考えると x → y の射の集合だと思うけど、
すると A は射の集合の集合になって書いてあることと違うよね．

あと，何で (x,y)∈O×O と，全ての要素を走るの？
0767１３２人目の素数さん2008/12/10(水) 12:44:37
ありがとうございます。

> それも言うなら「原像と像との組の軌跡」だろうが、そもそも
> グラフ違いじゃウ゛ォケェ

そうでした。


>>>761
>> という事は何らかの対象がGがあってO=Ob(G)となっているのですよね。
> ここでの Ob の定義は何？対象を引数に取るの？

対象の集まりだそうです。で対象とは何ですか?
と先生に尋ねたら「知らん。とにかく考えてる事柄の事」


>>>762
>> 自分から自分への射,a->aとかは考えないのでしょうか?
> 有限グラフなら考えない（流儀による）．
> 圏なら id: O → A が定義できないといけないので必須．
>> そしてA=Mor(C,D)
> ここでの Mor の定義は何？

対象の集まりCから対象の集まりDへの写像(写像は集合内での用語)とは呼べないので射の事だと思います。
「では射とは何ですか?」と尋ねたら「うるさい、兎に角射と覚えとけ!」でした。

もしかして定義するのが大変なのですか?

圏論の基礎のp7もメタグラフ,対象,射の定義らしきものは載ってません。
この本は予め予備知識が必要なのでしょうか?
0768１３２人目の素数さん2008/12/10(水) 12:45:12
>> するとdomA=C,codA=Dですよね。
> domA, codA って何？

圏論の授業では「…の定義は何ですか」の質問は禁止になってしまいました。
多分,集合論というか今までの初等数学でのdomAは定義域,codAは値域の意味だと解釈しました。
結局,圏論は集合論の概念をもっと拡張した学問みたいですね。、、という事で定義域とか写像とかの用語は使えないのですね。
元も使えないので対象といわざる得ないのでしょうか?


> この等号は何で成り立つの？

今,A=Mor(C,D)なのでAはCからDへの射の集まりでdomは定義域,codは値域を表す射(?)なので
domA=C,codA=Dと書けると思いました。


>> A={Mor(x,y);(x,y)∈O×O}と書けるのですね。
> ここでの Mor(x,y) って何？
> 常識的に考えると x → y の射の集合だと思うけど、

そのつもりです。


> すると A は射の集合の集合になって書いてあることと違うよね．

A={f∈Mor(x,y);(x,y)∈O×O}と書くべきでしたかね。


> あと，何で (x,y)∈O×O と，全ての要素を走るの？

A={f∈Mor(x,y);(x,y)∈O×O}は対象の集まりOの各対象間の射の集まりをAと定義したつもりでした。
0769１３２人目の素数さん2008/12/10(水) 13:05:33
>>767
指摘の内容、聞かれていることの意味
なにひとつわかってないようだね。
0770１３２人目の素数さん2008/12/10(水) 13:09:33
>>768
> この本は予め予備知識が必要なのでしょうか?

君には予備知識以前の問題が多過ぎる。
0771１３２人目の素数さん2008/12/10(水) 13:14:12
定義するのが大変なのではなくて、単に無定義術語なだけなんだがね
0772１３２人目の素数さん2008/12/10(水) 19:28:02
>>767
絶望的に，全く分かってないなあ．
君が >>757, >>761-762 で書き込んだことは完全に間違いだし，
>>767-768 はどれ一つ指摘の意味すら取れていないんだよ．

ここでは「対象」や「射」は無定義語なので，定義はないの．
これらの性質は，「対象」の集まりを O，「射」の集まりを A としたとき，
cod, dom: A → O なる対応が定義できることだけ．
0773１３２人目の素数さん2008/12/10(水) 21:56:55
面白い具体的な対象が豊富にある訳でもない以上
非結合的な圏論を考える人はそんなにいない
どっかの有名なおっさんも意味のない一般化自体には顔をしかめていたでしょうに

このスレにちらほらあった非結合的な圏論を求める書き込みをした人達は
何を求めて一般化を訴えていたのでしょう
0774１３２人目の素数さん2008/12/10(水) 23:04:28
非結合的な圏を考えるくらいなら単なる有向グラフを考えたいね
0775１３２人目の素数さん2008/12/11(木) 15:28:37
はたして本当にそうだろうか？
0776１３２人目の素数さん2008/12/11(木) 17:00:20
>>775
そう思わないのなら最早自分で研究するしかない
0777１３２人目の素数さん2008/12/11(木) 19:23:46
面白い結果が出そうなら是非紹介してくれ
0778１３２人目の素数さん2008/12/11(木) 22:13:46
ことわる
0779１３２人目の素数さん2008/12/12(金) 02:47:07
EGAの英語訳ってありますか
0780１３２人目の素数さん2008/12/12(金) 02:48:10
ない
0781１３２人目の素数さん2008/12/12(金) 14:14:03
はたして本当にそうだろうか？
0782１３２人目の素数さん2008/12/12(金) 18:15:13
ことわる
0783１３２人目の素数さん2008/12/12(金) 22:11:15
シュプリンガーから出てるのは何章まで？
0784１３２人目の素数さん2008/12/14(日) 09:05:19
>>779
英語が読めるのなら、
仏語のまま読めばいいじゃん。

数式とダイアグラムは同じだし
0785１３２人目の素数さん2008/12/14(日) 15:35:49
A. J. Berrick, et al. の"Categories and Modules With K-Theory in View"米ｱﾏでﾎﾟﾁってきた。
全然在庫なしで悶絶してたので、在庫がきたのでついぽちってしまたｏｒｚ。
0786１３２人目の素数さん2008/12/14(日) 18:24:44
↑その本なかなかいいよな。あとこれも。
http://www.amazon.com/dp/0387978453/

下の本の目次見るとやたら面白そうなことが書いてある。
http://www.amazon.com/dp/1402093837

いい本いっぱいあって読むのが大変だなぁ。
0787１３２人目の素数さん2008/12/14(日) 20:41:11
あとこれもなかなかいい。
http://www.amazon.com/dp/376437523X/

しかしこれがあればお腹いっぱいなんだがな。
http://www.amazon.com/dp/019852496X/
0788１３２人目の素数さん2008/12/19(金) 23:16:55
一番のお気に入りはコレ。古いけどイイ！
http://www.amazon.com/dp/0124992501/
0789１３２人目の素数さん2008/12/23(火) 12:47:57
竹内先生の『層・圏・トポス』が復刊されたようだね。
0790１３２人目の素数さん2008/12/23(火) 14:38:44
いまさらいいやそんなの。
0791１３２人目の素数さん2008/12/28(日) 20:12:52
ネットのどこかに圏論を最初から説明して
アーベル圏や層係数コホモロジーを解説した
60ページ程度のpdfがあったような記憶があるんだが
見つからない
0792１３２人目の素数さん2008/12/31(水) 19:15:01
見つかった？
0793１３２人目の素数さん2008/12/31(水) 20:20:21
見つからない
日本語だった気がする
ここまで見つからないとたぶん捏造記憶だったんだろうな
0794１３２人目の素数さん2008/12/31(水) 20:56:28
大丈夫だ、今からお前が書けば誰も気がつかない！
0795１３２人目の素数さん2009/01/08(木) 21:10:25
>>791
ページ数と最近見つからないということから、
ttp://miyako.math.metro-u.ac.jp/~masanori/Lecture/01geometry.pdf
のpdfかなと思ったがどうですか？
上のURLはリンク切れなので、webarchiveを介して下さい。
0796１３２人目の素数さん2009/01/08(木) 23:05:00
>>795
pdfの名前的にそれだ！感謝します！！
ちょっとHDDの中検索して探してみます
0797１３２人目の素数さん2009/01/18(日) 22:03:09
圏論って集合論みたく他分野研究する上でも
しらなきゃまずい？
0798１３２人目の素数さん2009/01/18(日) 22:48:59
集合論ほどじゃないけど分野によっては。
0799１３２人目の素数さん2009/01/20(火) 21:10:57
プログラミング言語の理論などでは結構使われているみたいだね
0800８００2009/01/21(水) 23:17:13

８００ゲト！！

世の中のすべては圏で説明できるのだよ？
0801１３２人目の素数さん2009/01/22(木) 05:10:56
ネタだろうが、マジレス
それは圏論の守備範囲ではない
圏論だけでは何も説明はしてくれない
0802１３２人目の素数さん2009/01/22(木) 05:22:19
圏論的に解釈しなおすと見通しはよくなるらしいけどね
0803１３２人目の素数さん2009/01/23(金) 22:28:47
圏論のしっかりしてて定評のある入門書って何？
0804１３２人目の素数さん2009/01/23(金) 23:01:03
>>803
働く数学者
0805１３２人目の素数さん2009/01/23(金) 23:28:37
数学に勤しむ貴方の為の
0806１３２人目の素数さん2009/02/01(日) 22:54:14
CWM
0807１３２人目の素数さん2009/03/15(日) 00:46:40
すんごい本がでる
press.princeton.edu/titles/8957.html
著者はいわゆる天才らしい
www-math.mit.edu/~lurie/
www.aimath.org/fellows/lurie.html
query.nytimes.com/gst/fullpage.html?res=9807EFDA1339F934A35757C0A960958260
0808１３２人目の素数さん2009/03/15(日) 01:45:48
全くの初心者で申し訳ないのですが、
Monadの定義()に出てくるふたつの自然変換
η : 1_{C} → T
μ : T^{2} → T
について。
ηって、要はTの「対象」相手の部分(＝TからTの「射」相手の部分を除いた部分)の事に見えるのですが、違うのでしょうか？
μ って、なんで T → 1_{C} ではない、と言うか、これと違い得るのでしょうか？
0809１３２人目の素数さん2009/03/15(日) 01:50:55
>>807
どう凄いのか３行で説明してくれ
0810１３２人目の素数さん2009/03/15(日) 03:20:53
>>808
ηは埋め込み、μは例えば列の列は列みたいなもので、二回やるとどうか
ってのは射影のベキ等性みたいに非自明な性質。
0811１３２人目の素数さん2009/03/15(日) 07:46:16
>>807
Grothendieckがやったようなことを高次元圏論で最初っから構成するって感じなのかね
08128082009/03/15(日) 13:33:00
>>810
ありがとうございます。なるほど、μは、例えば他にy=bみたいな定数関数とかもそう言う訳ですね。すっきり。
ただ、ηについてはどういう事か補足して頂けないでしょうか。
埋込みというのが、部分に同型な奴はその部分自体と見なしてしまう事らしいとは調べたのですが、それが
η : 1_{C} → T　とどう繋がるのか理解出来ませんでした。
0813１３２人目の素数さん2009/03/15(日) 17:34:03
函数を例にとるじてんで終わってる。かえりたまえ、基本的なところで君には体力が足りなすぎる。
0814１３２人目の素数さん2009/03/15(日) 23:36:38
>>809>>811
surgery.matrix.jp/math/2008stg/slides/minami_slides.pdf
0815１３２人目の素数さん2009/03/16(月) 00:40:14
>>814
まだよくわからない。。
グロタンティクが可換環論を使って代数幾何学を再構築したのにならって、
可換環論よりももっと一般的な対象を使って、新しい代数幾何学を
再々構築する、ということ？
　より応用範囲の広いものが出来そうだというのはわかるけれど、
そうすることで（単なる一般化を超えて）どう有難いのかわからないんだけど。。。
説明してくれない？
0816１３２人目の素数さん2009/03/17(火) 04:52:02
http://lab52.ma.utexas.edu:8080/video/lurie.html
を見るにTFTへの応用をlurieは考えてるのかね
TFT殆ど知らないから事情が分からんが…
0817１３２人目の素数さん2009/03/17(火) 10:17:18
TFT=topological field theory?
0818１３２人目の素数さん2009/03/17(火) 12:23:10
TFT topological field theory
TQFT topological quantum field theory
別に違いは無かったよね
0819１３２人目の素数さん2009/03/22(日) 16:37:30
>>816
http://en.wikipedia.org/wiki/Topological_quantum_field_theory
にAtiyahによるTQFTの定義が書いてあ
0820１３２人目の素数さん2009/04/11(土) 22:55:43
http://arxiv.org/abs/hep-th/0307245
TFTも圏論も物理も書いてある
誰か読んでくれ
0821１３２人目の素数さん2009/04/12(日) 01:07:08
そんなのやっても無駄だから。
0822１３２人目の素数さん2009/04/16(木) 15:50:22
>>821
何がどれくらいのレベルで無駄なのですか？
0823１３２人目の素数さん2009/04/16(木) 18:05:31
関数解析で、集合としての全射のことを「上への写像」というのは圏論的な意味での全射との混同を避けるためだろうか
0824１３２人目の素数さん2009/04/16(木) 20:08:29
>>823
学部でやる集合と写像の授業でも、
全射の事を、上への写像って言うぞ。
0825１３２人目の素数さん2009/04/16(木) 20:31:44
surjectiveを直訳した感じだろ
分かりにくいセンス悪い邦訳だと思う＾＾
0826１３２人目の素数さん2009/04/16(木) 20:43:20
むしろontoの直訳だと思う
0827１３２人目の素数さん2009/04/16(木) 20:46:28
surjectiveの訳が全射
ontoの訳が上への

しかし、ontoはともかくsurjectiveは直訳なのか？
0828１３２人目の素数さん2009/04/16(木) 20:48:04
混同を避けたければ、圏論的な意味での全射はエピ（エピック）と言えばいいだろう
という流儀も当然のことながらある。
0829１３２人目の素数さん2009/04/17(金) 04:43:17
DGカテゴリーって重要ですか？
0830１３２人目の素数さん2009/04/17(金) 15:17:16
>>822
もっと現実的なモデルを目指せ。
つまりはそういうことなんだよ。
0831１３２人目の素数さん2009/05/30(土) 03:52:36
嘘だ！
0832１３２人目の素数さん2009/06/18(木) 22:34:40
>>829
重要ですよ。
0833１３２人目の素数さん2009/06/19(金) 01:28:52
>>832
kwsk
kwsk
kwsk
08348332009/06/19(金) 04:41:31
よく考えたら自分がarxivで調べればよいだけの話でしたm(_ _)m
アホな事聞いてスレ汚しｽﾏｿ
0835猫ぱんだ ◆ghclfYsc82 2009/06/19(金) 05:45:58
A^{\infty}とかでしょ、いやアレはDGAだったかも知れんけどね

0836１３２人目の素数さん2009/07/03(金) 23:54:22
働いてもいないのに、働く数学者を買ってしまいました。ﾋﾛｼです。
0837１３２人目の素数さん2009/07/05(日) 08:58:13
>>812

自然変換と関手の区別がついてないと言うよくあるパターンかな。
0838sage2009/07/18(土) 18:05:41
　　Fη
F ------> FGF
という表記は、どういう事を表しているでしょうか。
（Fは圏Dから圏Cへの関手、Gは圏Cから圏Dへの関手、ηは自然変換(D上の射相当)です）

FおよびFGFは、DからCへの関手だと思いますが、
Fηはなんであり、FからFGFの間にそれがあるというのはどういう事でしょうか？
0839１３２人目の素数さん2009/07/18(土) 18:25:59
>>838

functor category
0840１３２人目の素数さん2009/07/18(土) 18:55:18
> ηは自然変換(D上の射相当)

？？
0841１３２人目の素数さん2009/07/19(日) 02:04:38
>>838
普通に考えると以下の意味。

ηは恒等関手1からGFへの自然変換。
このとき、F(η_X):FX -> FGFXは
FからFGFへの自然変換になる。
0842１３２人目の素数さん2009/07/20(月) 01:21:42
集合論のパラドックスとか考えると圏論ってかなり怪しいものでは？
環全体の集合、とかほんとうに存在するんですか？
0843１３２人目の素数さん2009/07/20(月) 02:44:58
いや環全体の集合は存在しないけど
0844１３２人目の素数さん2009/07/21(火) 00:04:39
環全体からなるクラスもオブジェクトとして含む環の圏とか考えたいのかね
0845１３２人目の素数さん2009/07/30(木) 07:51:19
>>842
そもそも現代集合論（ＺＦＣ集合論）では、
集合論のパラドックスは発生しないんだけど。
0846１３２人目の素数さん2009/08/13(木) 18:04:53
圏論っていうのは数学というか論理の
究極の形態ですよね。
この宇宙のあらゆる現象が圏論に還元される。
そして圏論の上にZFC集合論が展開され、
その上でさまざまな数理モデルが扱われるんですから。

最近ウィトゲンシュタインの包含写像についての考察が、
実は前層に対応していることを理解しましたよ。
0847１３２人目の素数さん2009/08/13(木) 19:37:45
まあ圏論のセンセイがトポスによって集合論を解釈する、
とかいう論文を書くときは大抵その「集合論」は排中律
やら選択公理やら置換公理やらが無かったり
分出公理をboundedな奴に制限してたりするんですけどね
0848１３２人目の素数さん2009/08/15(土) 18:22:22
>>847
トポスで排中律ってどういうことなんだ
0849１３２人目の素数さん2009/08/15(土) 21:22:03
いやトポスのほうじゃなくて
集合論のほうの排中律
0850１３２人目の素数さん2009/08/15(土) 23:58:34
>>849
> いやトポスのほうじゃなくて
> 集合論のほうの排中律

横レスだが
つか正確な言い方をすれば、通常の意味での集合論は
古典論理に基づいてるが、その古典論理での排中律だ

>>847も横から補足しとくと
圏論つかトポスで展開される集合論は、そのトポスに
余計な条件を要請しない限り（つまりBoolean toposでない限り）は
直観主義論理に基づく集合論、つまり直観主義的集合論なんだよ

その辺の事は竹内の『直観主義的集合論』や『層・圏・トポス』にあるし
もっとちゃんと分かりやすく解説してるのはGoldbratt "Topoi"あたり
0851１３２人目の素数さん2009/08/16(日) 23:44:55
物理学の基礎論っぽい分野で
圏論が注目されているのってどうして？
量子計算量とかの話も入るのかな？

http://categorieslogicphysics.wikidot.com/
0852１３２人目の素数さん2009/08/17(月) 01:58:10
>>851
正直、俺は物理屋じゃなくて理論計算機科学屋なんで物理で圏論を使ってどんな御利益があるのか知らない。
ただ、リンクされてるCategories, Logic and Physicsのワークショップ（リンク先のページ以外も見ると何回か行われてる）で
講演者に名前が出てるSamson AbramskyとかPaul Taylorは理論計算機科学屋で昔から圏論とか使ってセマンティクスの仕事してたんだけど
Abramskyなんかは最近は量子計算のセマンティックスとかを圏論を使ってやってるみたい。
あとそこに講演者の中で俺が名前を知ってる数少ない理論物理屋のIshamは確か量子重力とかの専門だったと思うけど
量子重力とか超弦理論とかの方面は圏論ガチガチな人も一杯いるみたいよ。

圏論なんて所詮は言語に過ぎないんで、圏で記述する対象が豊かな構造や内容を持っていて、それが別の分野の構造と実は同じだったとか
対応物があると分かった、なんて事があれば非常に有効だし、そういう対応を見出すのにも有効だけど、単に圏で書きましたってだけでは
大した意味はないと思うんだよね。究極の抽象化ができて自己満足としてはいいんだろうけど、それだけでは本質的に何も新しい内容は
出てこないじゃない。

普通の数学で圏があれほど有効だった（最初はabstract nonsenseとか非難されたけど）のは、数学の世界では内容も構造も豊かで
あっちで見つかってた定理は実は圏で抽象化して読み直すとこっちの世界でも使えるとかいう話が、圏を用いて記述を抽象化する事で
色々と出たからでしょう。

理論計算機科学なんかじゃそういう豊かな構造はなかなか見つからないんだよね。昔から多くの研究者が探してはいるんだけどさ。
そういう状況で圏論を用いても、結局、非常に抽象的つか一般的な形で構造やモデルが満たすべき条件を特徴づける、というのが精一杯って感じだなあ。

物理の場合はどうなんだろうね。まあ超弦理論とか量子重力とかはとってもソフィスティケートされて複雑な数学的道具立てを必要とするみたいだから
圏論で抽象的に記述して考えると便利なのかも知れない。ことに具体的なモデルの構築を切り離してそういう構造を持つモデルの一般的な条件という形で
考えられるしね。
0853１３２人目の素数さん2009/08/26(水) 23:15:54
>あとそこに講演者の中で俺が名前を知ってる数少ない理論物理屋のIshamは確か量子重力とかの専門だったと思うけど
量子重力が専門なのに名前を知ってる理由はたまたまですか
0854１３２人目の素数さん2009/08/27(木) 02:49:04
>>853
これはたまたまです。
Ishamの名前と量子重力が専門という事を知ったのはSmolynの『迷走する物理学』か『量子重力への３つの道』あたりです。
その後、書店の物理学書のコーナーを見てたら、吉岡から出てるIshamの『量子力学』があったのでパラパラと見たら
なんとなく面白そうだと思って買うだけは買ったのですが積ん読状態になってます。
当然ながらIshamの専門の仕事をちゃんとテクニカルなレベルで理解なんてできるはずもありません。
0855１３２人目の素数さん2009/08/31(月) 14:21:12
三年七時間。
0856１３２人目の素数さん2009/09/06(日) 19:39:30
物理でよく使われる対称性の説明に圏や関手の言葉を使うのが役立つのだろうか
0857１３２人目の素数さん2009/09/06(日) 19:46:15
Paul Taylorってどっかで名前見たことあると思ったら
Proofs and Typesの著者だね
0858１３２人目の素数さん2009/09/06(日) 22:56:47
可換図式のテフパック作ってなかったっけ？
0859１３２人目の素数さん2009/09/07(月) 02:23:41
世間にはびこる量子重力なんてどれもインチキだよ
0860１３２人目の素数さん2009/09/07(月) 02:48:40
世間にはびこる料理中毒なんてどれもインチキだよ
0861１３２人目の素数さん2009/10/15(木) 00:43:39
＞トポスと高階論理の関係の具体例
Introduction to Higher-Order Categorical Logic
(Cambridge Studies in Advanced Mathematics) (ペーパーバック)
J. Lambek (著), P. J. Scott (著)
タイトルとか目次を見る限りじゃこれとか？
Lambek & Scott はそっちの人には結構有名な文献。
その他に
http://categorical.org/bookshop.html
このページに載ってる本探せばどれかには載ってるはず。
というか「圏論による論理学」の参考文献に当たりゃ良いじゃん。

＞このあたりについての清水さんの論文とか
そんなもんありゃしない
http://ci.nii.ac.jp/search?q=%E6%B8%85%E6%B0%B4%E7%BE%A9%E5%A4%AB&range=0&count=20&sortorder=1
日本の哲学系の教授でそういう数学っぽいこと出来る人って
片手で数えられるくらいしか居ないんじゃないかな。
米国だと結構居るだろうけど。
0862１３２人目の素数さん2010/01/17(日) 19:39:24
なんでこんなもんがあるの？
0863１３２人目の素数さん2010/03/10(水) 05:54:32
500
0864１３２人目の素数さん2010/03/27(土) 03:25:03
集合論の知識が無いため、圏論の基礎の具体例がピンと来ないけど、
「図式が可換」っていうのは、ある対象と対象の間を結ぶ射の経路をどう取っても
等しいっていう意味だよね？
あと、射についてf=gならh○f=h○gっていうのは常に成り立つの？
0865１３２人目の素数さん2010/03/27(土) 08:30:04
yes
下も成り立つ（等号と代入の性質による）
0866１３２人目の素数さん2010/03/27(土) 12:10:14
>>865
そうですよね、レスありがとうございます。
関数型言語haskellを学んでいるうちに圏論を一度やっておいた方がいいかもと思って
手を出したはいいものの、馴染みの薄い言葉が多くて参ってました。
ttp://db.ewi.utwente.nl/Publications/PaperStore/db-utwente-0000003696.pdf
haskellやっている人向けに圏論とモナドを解説したpdfがあったので読んでいたのですが、
出てくる証明で使われている等式よりも自分で可換図式をつなげていく方が簡単に理解できました。
とりあえずMonad<T,η,μ>からKleisli triple<T,μ,*>を導くことができました。
あとは逆を導いて二つが等価になることを示した後、Mogi89の論文でも読もうかと思います。

まあ、haskellを使うときにモナドを理解する必要は無い、というのが今の段階での結論ですが。
0867１３２人目の素数さん2010/03/27(土) 12:22:31
>>866
うん，普通のユーザが理解する必要は特にないよ．
システム作る場合，その手の知識があったほうがすっきりしたものを作れる可能性があるくらい．
0868１３２人目の素数さん2010/04/15(木) 00:58:46
groupoidなんて考えてしまって・・・
0869１３２人目の素数さん2010/04/15(木) 00:59:40
どうするのですか・・・
0870１３２人目の素数さん2010/04/15(木) 01:56:40
くまーは参加しているのか　ここに
0871近刊2010/06/19(土) 19:43:44
サイエンス社
SGCライブラリ75
「物理学者のための圏論」
・ホモロジー代数、導来圏、三角圏、A∞圏、米田の埋め込み定理など
0872訂正と追記2010/06/20(日) 20:45:26
サイエンス社
SGCライブラリ75
「物理のための圏論」
梶浦 宏成　著
■ このスレッドは過去ログ倉庫に格納されています