09/08/26 23:15:54
>あとそこに講演者の中で俺が名前を知ってる数少ない理論物理屋のIshamは確か量子重力とかの専門だったと思うけど
量子重力が専門なのに名前を知ってる理由はたまたまですか
854:１３２人目の素数さん
09/08/27 02:49:04
>>853
これはたまたまです。
Ishamの名前と量子重力が専門という事を知ったのはSmolynの『迷走する物理学』か『量子重力への３つの道』あたりです。
その後、書店の物理学書のコーナーを見てたら、吉岡から出てるIshamの『量子力学』があったのでパラパラと見たら
なんとなく面白そうだと思って買うだけは買ったのですが積ん読状態になってます。
当然ながらIshamの専門の仕事をちゃんとテクニカルなレベルで理解なんてできるはずもありません。
855:１３２人目の素数さん
09/08/31 14:21:12
三年七時間。
856:１３２人目の素数さん
09/09/06 19:39:30
物理でよく使われる対称性の説明に圏や関手の言葉を使うのが役立つのだろうか
857:１３２人目の素数さん
09/09/06 19:46:15
Paul Taylorってどっかで名前見たことあると思ったら
Proofs and Typesの著者だね
858:１３２人目の素数さん
09/09/06 22:56:47
可換図式のテフパック作ってなかったっけ？
859:１３２人目の素数さん
09/09/07 02:23:41
世間にはびこる量子重力なんてどれもインチキだよ
860:１３２人目の素数さん
09/09/07 02:48:40
世間にはびこる料理中毒なんてどれもインチキだよ
861:１３２人目の素数さん
09/10/15 00:43:39
＞トポスと高階論理の関係の具体例
Introduction to Higher-Order Categorical Logic
(Cambridge Studies in Advanced Mathematics) (ペーパーバック)
J. Lambek (著), P. J. Scott (著)
タイトルとか目次を見る限りじゃこれとか？
Lambek & Scott はそっちの人には結構有名な文献。
その他に
URLﾘﾝｸ(categorical.org)
このページに載ってる本探せばどれかには載ってるはず。
というか「圏論による論理学」の参考文献に当たりゃ良いじゃん。
＞このあたりについての清水さんの論文とか
そんなもんありゃしない
URLﾘﾝｸ(ci.nii.ac.jp)
日本の哲学系の教授でそういう数学っぽいこと出来る人って
片手で数えられるくらいしか居ないんじゃないかな。
米国だと結構居るだろうけど。
862:１３２人目の素数さん
10/01/17 19:39:24
なんでこんなもんがあるの？
863:１３２人目の素数さん
10/03/10 05:54:32
500
864:１３２人目の素数さん
10/03/27 03:25:03
集合論の知識が無いため、圏論の基礎の具体例がピンと来ないけど、
「図式が可換」っていうのは、ある対象と対象の間を結ぶ射の経路をどう取っても
等しいっていう意味だよね？
あと、射についてf=gならh○f=h○gっていうのは常に成り立つの？
865:１３２人目の素数さん
10/03/27 08:30:04
yes
下も成り立つ（等号と代入の性質による）
866:１３２人目の素数さん
10/03/27 12:10:14
>>865
そうですよね、レスありがとうございます。
関数型言語haskellを学んでいるうちに圏論を一度やっておいた方がいいかもと思って
手を出したはいいものの、馴染みの薄い言葉が多くて参ってました。
URLﾘﾝｸ(db.ewi.utwente.nl)
haskellやっている人向けに圏論とモナドを解説したpdfがあったので読んでいたのですが、
出てくる証明で使われている等式よりも自分で可換図式をつなげていく方が簡単に理解できました。
とりあえずMonad<T,η,μ>からKleisli triple<T,μ,*>を導くことができました。
あとは逆を導いて二つが等価になることを示した後、Mogi89の論文でも読もうかと思います。
まあ、haskellを使うときにモナドを理解する必要は無い、というのが今の段階での結論ですが。
867:１３２人目の素数さん
10/03/27 12:22:31
>>866
うん，普通のユーザが理解する必要は特にないよ．
システム作る場合，その手の知識があったほうがすっきりしたものを作れる可能性があるくらい．
868:１３２人目の素数さん
10/04/15 00:58:46
groupoidなんて考えてしまって・・・
869:１３２人目の素数さん
10/04/15 00:59:40
どうするのですか・・・
870:１３２人目の素数さん
10/04/15 01:56:40
くまーは参加しているのか ここに
871:近刊
10/06/19 19:43:44
サイエンス社
SGCライブラリ75
「物理学者のための圏論」
・ホモロジー代数、導来圏、三角圏、A∞圏、米田の埋め込み定理など
872:訂正と追記
10/06/20 20:45:26
サイエンス社
SGCライブラリ75
「物理のための圏論」
梶浦 宏成 著
873:１３２人目の素数さん
10/08/06 04:26:23
766