昨日の記事「コジュール接続の圏 その2」で： ちょっと思いついたこと（一般射という概念）があるんで、それのメモみたいなもんです。一般射〈generic morphism〉 一般的（過ぎるかも） 実際、コジュール接続のあいだの一般射という概念は一般的でした。用途…