1年3ヶ月ほど前に書いた「コジュール接続の圏」に次のように書いています。 先週ボンヤリと考えていたことがあったんですが、ちょっと面倒になってきて気力萎え。だけど、いつかまた興味と気力が湧いたときに参照できるようにメモ書きを残しておきます。 こ…