去年の年末/今年の年始に:
とか。結局ヤッパリあんまり能率が上がらない、という結末になりかねないのですけど、今回の年末年始も:
https://twitter.com/#!/hiyama_on_caty/status/151964218470563842
計算モデルを圏から多圏に切り替える、というか、今までの計算モデルの手前に多圏を挟むことにした。これで、年末年始にやることが山のようにできた。
多圏(polycategory)の資料は少ないし、あってもやたらに難しかったり、僕の目的からは関係なかったり。
カプラノフ(Kapranov)とヴォエヴォドスキー(Voevodsky; ホモトピー的型理論の人)が、"Combinatorial-geometric aspects of polycategory theory"(http://archive.numdam.org/ARCHIVE/CTGDC/CTGDC_1991__32_1/CTGDC_1991__32_1_11_0/CTGDC_1991__32_1_11_0.pdf)なんてのを書いてるんですが、コレ、論文の組版がヒドすぎる。読めねーよ。内容的にも僕に歯が立たなくて読めないだろうけど。
Craig Antonio Pastro の学位修士論文 "ΣΠ-Polycategories, Additive Linear Logic, and Process Semantics"(http://pages.cpsc.ucalgary.ca/~robin/Theses/pastro.pdf)はコンピュータの話だけど、百数十ページもあってヤダし。
アブラムスキーの一派と思われるロス・ダンカン(Ross Duncan)の"Types for Quantum Computing"(http://homepages.ulb.ac.be/~rduncan/papers/rduncan-thesis.pdf)も多圏とホモトピーを扱っているのはいいが、これまた百数十ページの学位論文。6章だけでも58ページあるし、長すぎ。
論理関係なら短めの論説があるけど、ちょっと違う。
年末年始に資料を探す -- って、えらい低い目標だな。