次元が3の圏
遷移翻訳系（トランスデューサ）の圏を考えているのだが、これが二重圏（double category）の構造を持つのはかなりハッキリとしてきた。が、さらにもう1次元高い構造を持っている。
[追記]オイ、1次元高い構造についてメモしておけよ！ [/追記]
次元が3である圏は、tricategoryというのがあるが、あまり調べてない。二重圏の圏をDCatとすると、DCat内の内部圏、あるいはDCatによる豊饒化が考えられる。他に、一般的n圏としての強3圏、弱3圏もある。いったいどれだろう？（3-forld categoryとかもあったな、たしか。）
現象論的事実としては：
