やっと連休が明ける（あしたが月曜）。ハー。リハビリしとこう。右ケリー双対と左ケリー双対が一致することを、「等方的に堅い」（isotropically rigid）とか呼んでみたのだけど、既存の用語があった -- ソブリン（sovereign）圏。双対性を持つ圏を、一般的…