などと書きつつ、本職のプロジェクトの方に火がつき始めたので（ぉ、ちょっとはてなはペースダウンします…多分。 というより、今月入ってから急にほぼ毎日つけてるんですねぇ…もともと3日にいっぺんくらいのつもりだったので、ちょっとハマりすぎです。

そうそう、勉強会でもちょっと話した話題なのですが、cleavageとclovenってなんですか？（←完全教えて君モード） ここでの話題に関連して、fibrationやらCartesian morphismやらに絡んで出てきたtermなのですが、ぐぐったりしてみても日本語訳とか、同じこと…

でした＠日曜日の田町。 とが同じかについて（10日の日記参照）は、多分分配律が成り立てば同じになるんじゃないか、という話。昼飯に行くときの立ち話でしかしてないので、自分もちゃんとわかってませんが。そうそう、結局、論文"Linear Logic complements …