ブックマーク / m-hiyama.hatenablog.com (4)

  • なんやかんや -- after 量子と古典の物理と幾何@名古屋 - 檜山正幸のキマイラ飼育記 (はてなBlog)

    「量子と古典の物理と幾何@名古屋」世話人/参加者の皆様、ありがとうございました。 僕の話は、案の定、省略や言い残しがイッパイありますね。たぶんこうなるだろうと予測してたので事後資料は準備してあります。でも、事後資料を読むのは面倒でしょうから、今の時点で思い浮かぶ補足を幾つか手短に書いておきます。 内容: 資料、訂正と結論 ネタ元とか参考文献とか ハイブについて フロベニウス代数とその亜種 ハイブの圏はなぜ3次元なのか よく分からんけど 資料、訂正と結論 当日使った資料は、次のURLからアクセス可能です。 ハンドアウト http://www.chimaira.org/misc/story.md.html チートシート http://www.chimaira.org/misc/cheatsheet.md.html ハンドアウトの「セクション3 項目6」に間違いがありましたが、今は訂正しています

    なんやかんや -- after 量子と古典の物理と幾何@名古屋 - 檜山正幸のキマイラ飼育記 (はてなBlog)
  • いまさらに音読み・訓読み - 檜山正幸のキマイラ飼育記 (はてなBlog)

    ツリーに関する用語ですが: 木構造 根ノード 葉ノード この「木」「根」「葉」って、訓読みしますか、音読みしますか? きこうぞう/もくこうぞう ねのーど/こんのーど はのーど/ようのーど 僕は「き」「ね」「は」だけど、音読みの人もいるみたい。

    いまさらに音読み・訓読み - 檜山正幸のキマイラ飼育記 (はてなBlog)
    salmonsnare
    salmonsnare 2012/06/25
    僕は訓読みです。あと、木の頂点の分類は、単に「根」、「葉」と呼ぶことが多いです。
  • おとぎ話としてのn-圏 -- 計算できる図形達の世界 - 檜山正幸のキマイラ飼育記 (はてなBlog)

    先日、「n-圏とは何だろう」ってエントリーを書いたのですが、普通の圏でさえ浮世離れした印象があるのに、n-圏(高次圏)とかいわれても、「それ、えないんでしょ?」という程度の反応になるのも無理もないですね。 でも実際は、圏やモナドの例がいくらでもあるのと同様に、n-圏の例もいくらでもあります。「n-圏とは何だろう」の冒頭で紹介したグループ・ブログThe n-Category Cafe を書いているメンバーは数理物理学者達で*1、場の量子論や重力理論に高次圏論を使ったアプローチを試みています。この現象世界そのものが、n-圏の具体例のひとつなのかもしれません。 とはいえ僕は、現象世界とn-圏の関係はサッパリわかりませんから、物理的な観点からの説明はできません。むしろ、現実とは離れたファンタジーとしてのn-圏のほうが、多少は説明できそうな気がします。という次第で、n-圏を、n次元までのモノ達(t

    おとぎ話としてのn-圏 -- 計算できる図形達の世界 - 檜山正幸のキマイラ飼育記 (はてなBlog)
  • 2011年から2012年にかけて - 檜山正幸のキマイラ飼育記 (はてなBlog)

    去年の年末/今年の年始に: クリスマスは終わってしまったので、正月にでも(?) 正月のあいだの宿題 とか。結局ヤッパリあんまり能率が上がらない、という結末になりかねないのですけど、今回の年末年始も: https://twitter.com/#!/hiyama_on_caty/status/151964218470563842 計算モデルを圏から多圏に切り替える、というか、今までの計算モデルの手前に多圏を挟むことにした。これで、年末年始にやることが山のようにできた。 多圏(polycategory)の資料は少ないし、あってもやたらに難しかったり、僕の目的からは関係なかったり。 カプラノフ(Kapranov)とヴォエヴォドスキー(Voevodsky; ホモトピー的型理論の人)が、"Combinatorial-geometric aspects of polycategory theory"(h

    2011年から2012年にかけて - 檜山正幸のキマイラ飼育記 (はてなBlog)
    salmonsnare
    salmonsnare 2012/01/11
    日本語でこういうページが出来ていました。 Homotopy Type Theory, http://pantodon.shinshu-u.ac.jp/topology/literature/homotopy_type_theory.html
  • 1