「ありがたい、さびしい」の続きみたいなもの。
マックレーンの本『圏論の基礎』の翻訳者である三好さん(http://categorical.org/)が主催している圏論メーリングリストも全然トラフィックがないようだし。googleで「圏論」を検索しても、目立つのは、さかいさんやたけをさん達がなさっている勉強会くらいだし、、
まー、メーリングリストや掲示板が成立するほどに圏論に興味を持つ人がいないってことなんだろうなぁ。
ところで(話がガラっと変わるようだが)、nonakajunさんて方が、「発想転換,トラックバックはこんなに簡単!」てエントリーを書いて随分叩かれたみたいだ(「反省の弁」)。「検索で探してトラックバックを打ちまくる」という、スパムもどきの行為を推奨しているからけしからん、ということらしい(詳細は知らない)。
でも僕、「検索で(カテゴリストらしき人を)探してトラックバックを打ちまくる」をやってしまおうかな -- 打ちまくるほどにいないか? “ゆるいゆるいつながり”くらいはあったほうがさびしくない気がするから。はてなリングってのはどうなのかな(よく知らんのだけど)。
僕自身は、圏論そのものに興味があるわけではなくて、コンピューティングサイエンス(情報科学)/ソフトウェア工学への効果的な適用を探しているので、余代数/隠蔽代数、インスティチューション、トレース付きモノイド圏、コンパクト閉圏、デカルト閉圏あたりが使えそうな気がしている。各種モナド、トポス、テンソル圏、インデックス圏/ファイバー圏(indexed categories/fibred categories)あたりも道具にはなりそうだが、あんまりよくわかってない。
- キマイラ・サイトの圏論コーナーは、http://www.chimaira.org/docs/indexCategoryTheory.htm
- 圏論に関係しそうな僕のエントリー(順不同で不完全)は、http://b.hatena.ne.jp/m-hiyama-taxon/cat%2dtheory/
で、いま僕が言いたいことは、コンピューティングサイエンス/ソフトウェア工学への(できれば実務的)応用を念頭において圏に興味ある人(カテゴリスト)はいませんか?
[追記 date="12-17"]
はてなダイアリーは「キーワードでつながる」がウリなんだから、はてなキーワードに「圏論」を追加してみました。(んもー、キーワード編集にはプレビューがないので、記述ミス/typo修正のたびに再登録、なんとかならないの?)
さてと、blog検索で「圏論」を引いてみた結果を列挙します。なんか、はてなダイアリーの比率が異常に高いですね。はてな内なら自動トラックバックが行くから、手間が省けます。はてな外は、とりあえずリンクを張るだけで、トラックバック作業は後日にしよう。
以下、エントリーが多少古いのもありますのでid記法を併用します。2本のトラックバックがいってしまいますが、ご容赦ください。
はてな内
- 僻地のプログラマkmt-tの日記(id:kmt-tさん)
http://d.hatena.ne.jp/kmt-t/20051210#1134205993 - m107の日記(id:m107さん)
http://d.hatena.ne.jp/m107/20051209/1134086228 - ひとこと日記(id:yasu_noriさん)
http://d.hatena.ne.jp/yasu_nori/20051205 - 欝っぽい日記 別館(id:yoriyukiさん)
http://d.hatena.ne.jp/yoriyuki/20051112#p4 - 日刊SRATE(id:stryskさん)
http://d.hatena.ne.jp/strysk/20051107#1131363682 - ka-lei-do-scope weblog(id:ka-lei-do-scopeさん)
http://d.hatena.ne.jp/ka-lei-do-scope/20051010 - letter(id:notfoundさん)
http://d.hatena.ne.jp/notfound/20050706 - あいまいな本日の私(id:ytbさん)
http://d.hatena.ne.jp/ytb/20050706/p2 - 日誌(は)(id:micknさん)
http://d.hatena.ne.jp/mickn/20050704/p1 - ハルサメダイアリー。(id:torusさん)
http://d.hatena.ne.jp/torus/20050701#p1 - h_sakuraiの日記(id:h_sakuraiさん)
http://d.hatena.ne.jp/h_sakurai/20050604#p2
はてな外
- 等価変換な日々
http://alohakun.blog7.fc2.com/blog-entry-133.html - ベンチャー企業家を目指すブログ!
http://venture.jugem.jp/?eid=6 - きゃいなわかんない ブログではなくて雑記ですよ〜
http://kyai.blog7.fc2.com/blog-entry-58.html - s u t e t u s
http://blog.goo.ne.jp/yambo-at-goo/e/e13368b96ad1e0eba88633b043b047f0
[/追記]