物理で圏論

このエントリーをはてなブックマークに追加
1 ：ご冗談でしょう？名無しさん：
圏論は貴方の役に立ちますか？

http://web.comlab.ox.ac.uk/oucl/work/bob.coecke/Cats.pdf
こんなのとかあります
2 ：ご冗談でしょう？名無しさん：2007/11/16(金) 14:14:06 ID:???
アダムとイブか(;ﾟдﾟ)ｧ....
3 ：ご冗談でしょう？名無しさん：2007/11/16(金) 14:19:46 ID:???
「理工系のための トポロジー・圏論・微分幾何」
ttp://www.saiensu.co.jp/?page=book_details&ISBN=ISBN4910054701265&YEAR=2006

これとかどう？
4 ：ご冗談でしょう？名無しさん：2007/11/16(金) 14:22:29 ID:???
>1

とりあえず参考にする
サンクス
5 ：にょにょ ◆yxpks8XH5Y ：2007/11/16(金) 17:29:41 ID:???
Cinco!
6 ：ご冗談でしょう？名無しさん：2007/11/16(金) 20:42:24 ID:???
>>3
読むと微分幾何の初歩が分かる
7 ：ご冗談でしょう？名無しさん：2007/11/17(土) 00:24:21 ID:???
アーベル圏ぐらいやっとかないと圏論のありがたみって分かんないんじゃあ?
8 ：ご冗談でしょう？名無しさん：2007/11/18(日) 11:02:58 ID:Ii8InihG
物理で圏論による表現がされるようになったのはわりと最近だよね？
生物ではかなり昔から使われてるみたいだけど。
圏論の大御所のLawvereが物理出身（機械かも？連続体力学専攻らしい）なだけに、ちょっと不思議な感じ。
9 ：ご冗談でしょう？名無しさん：2007/11/18(日) 13:55:00 ID:???
物理でメコスジ論
10 ：ご冗談でしょう？名無しさん：2007/11/18(日) 21:28:05 ID:UkA7sPZ0
>>1
３ページ目でつまづいたｗ　ページ下のほうの
A group G is a category with a single object …
ってどういう意味？
１個しかobjectがなければmorphismのつくりようがないと思うんだが（identity以外に）？
11 ：ご冗談でしょう？名無しさん：2007/11/18(日) 21:43:37 ID:???
every morphism is an isomorphism: って書いてあるじゃん
それだけだよ
12 ：ご冗談でしょう？名無しさん：2007/11/18(日) 22:07:45 ID:???
isomorphism ってのは自己同型写像のことだね。
13 ：ご冗談でしょう？名無しさん：2007/11/18(日) 22:09:18 ID:???
>>11
サンクス
objectと群の元を混同してた。
14 ：ご冗談でしょう？名無しさん：2007/11/30(金) 01:19:39 ID:???
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
15 ：ご冗談でしょう？名無しさん：2007/12/08(土) 09:22:30 ID:???
すべての射が同型な圏を亜群(groupoid)という。
これは群の拡張概念である。
例えば、位相空間の各点を対象としてその点 x から y への射として
x から y への道のホモトピー類をとれば亜群になる。
Hom(x, x) はその空間の x を含む弧上連結成分の基本群である。

もっと一般に圏は亜モノイドと考えられる。
16 ：ご冗談でしょう？名無しさん：2007/12/20(木) 12:48:56 ID:???
絵算しよう
17 ：ご冗談でしょう？名無しさん：2007/12/23(日) 21:20:08 ID:???
経路積分も圏論で出来る
18 ：ご冗談でしょう？名無しさん：2008/01/10(木) 08:19:22 ID:HGTxRiGv
age
19 ：ご冗談でしょう？名無しさん：2008/01/26(土) 00:23:46 ID:???
sage
20 ：ご冗談でしょう？名無しさん：2008/07/24(木) 20:55:06 ID:???
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
アトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ねアトポス死ね
21 ：ご冗談でしょう？名無しさん：2008/11/05(水) 12:25:55 ID:???
超弦理論か弦理論も、圏論で同じ部分があると、シュプリンガーの圏論の
冒頭に書いてあるよ。
22 ：やんやん ◆jReFkq.CTY ：2008/11/05(水) 18:43:47 ID:???
オブジェクトがD-braneで弦がモルフィズムとかいう話だっけ?
23 ：ご冗談でしょう？名無しさん：2008/11/06(木) 14:17:45 ID:???
＞２２　詳しい内容は、しらないけどけど同書の冒頭部分を図書館で
目を通しただけです。
24 ：ご冗談でしょう？名無しさん：2009/02/14(土) 09:56:08 ID:???
ケンタウルス
25 ：ご冗談でしょう？名無しさん：2009/02/14(土) 10:43:48 ID:???
物理でメコスジ論
26 ：ご冗談でしょう？名無しさん：2009/09/08(火) 05:59:22 ID:jDzq5JVM
数学における位相的量子場の理論が数学者のオナニー扱いされたらどうしよう
27 ：やんやん ◆yanyan72E. ：2009/09/08(火) 06:55:00 ID:???
それよりも、数学者にこれは数学ではないと言われる
心配をした方がいいんじゃないか?
28 ：ご冗談でしょう？名無しさん：
やんやんage