「コジュール接続の圏」の続きを書きます。と言っても、ちょっと思いついたこと（一般射という概念）があるんで、それのメモみたいなもんです。内容： はじめに オーバーロードと省略のルール イントラベースとインターベース コジュール接続のあいだの慣性…