2012-05-16 (水)
2次元の圏における米田の補題がわからない
雑記／備忘 | 14:22 |
また、「よくわからんわー」という愚痴みたいなハナシ。
記号の約束
Catを、小さい圏と関手からなる圏だとします。同様に、BiCatは小さい双圏と双圏のあいだの準同型*1からなる圏です。Catは厳密2-圏（特別な双圏）の構造を持ち、BiCatは3-圏の構造まで持ったりするようです（3次元の圏は僕よ
やがてくる大増税時代に豊かに生活するために準備すべきこと
ようこそゲストさん トップ 最新の日記 ユーザー登録 ログイン ヘルプ
nazonoRubyist RubyでJavaScriptのためにC
<前の5日分
2006-10-06
■ プロジェクトぽく
Google Code とか登録したよ！
http://code.google.com/p/ruby-spidermonkey/
本当は数ヶ月前に登録していたのを見つかってしまったので、整備しま