そろそろ、メモ編にコソコソ書くことにしたほうが良さそうだけど… 「モノイド圏、豊饒圏、閉圏と内部ホム」と「閉圏、弱いラムダ計算、弱い論理」に少しは関係するから、いちおう本編に。(C, ×, I, σ)を対称モノイド圏とします（σは対称性＝入れ替え）。記号…

コメント欄には書いておいたのですが、遅ればせながらエントリーでもお知らせします。2007-02-24に、はてなからメールが来ました。 m-hiyamaさんの要望が実装されました。 http://i.hatena.ne.jp/idea/13877 というわけで、「はてなの編集がエスケープを外し…