2007-10-24 Catはデカルト閉圏だが… 圏一般論 雑記 最近、メモ編は全然書いてないな。なにしろ、HTMLだのMakefileだの書いているからな、ダハハハハハ。Catがデカルト閉圏であることは周知のことだが、自分で確認してみた。が、これをキーボードで記述するのはエライ大変! 紙に描いた絵をスキャンして貼り付けようか、、、とっ、紙がどっかにいった。ゴミになったかもな。