お絵描きで古典テンソル計算：ソブリン圏関係
2007-03-31 右ケリー双対と左ケリー双対が一致する圏：等方的剛性 - 檜山正幸のキマイラ飼育記 メモ編
任意のAに対してケリー双対系(A, R, η, ε)、(L, A, δ, γ)が存在するような圏は堅い圏と呼ぶ。
2007-04-03 平面的フィードバック - 檜山正幸のキマイラ飼育記 メモ編
等方的に堅い圏を考えると、ここでは普通のトレースは定義できない。
2007-04-03 http://d.hatena.ne.jp/m-hiyama-memo/20070403/1175569568
コンパクト閉圏と関係する圏の系統図を描いてみた。ほんとにチラシのウラに描いたもの。あまり洗練されてない。
2007-05-06 ソブリン（sovereign）圏 - 檜山正幸のキマイラ飼育記 メモ編
右ケリー双対と左ケリー双対が一致することを、「等方的に堅い」（isotropically rigid）とか呼んでみたのだけど、既存の用語があった -- ソブリン（sovereign）圏。
2008-08-30 もうなにも気にしないで「コンパクト」を使おうか - 檜山正幸のキマイラ飼育記 メモ編
「（両側）自立でブレイドとツイストを持てば自足」てのは重要だ。それがほんとなら、ストリートのように、語源とか経緯とか考えずに、「コンパクト＝自立＝堅い」と言ってしまってもいい。
2009-01-13 セリンガーえらい！さすが！！ - 檜山正幸のキマイラ飼育記 メモ編
- sovereign = pivotal 自足=軸的
