高次圏の次元が見えなくなったり、圏の構造の多様性が見えなくなったりすることがよくある。これは退化現象とでも呼ぶべきものだが、どんなものがあるだろう。 厳密化： 同型を同一にする（定義を強くする）と、退化が起きる。 骨格化： 骨格部分圏を取ると…

あー、そうか、そうか。そういうことか。とか、感想だけを書いておくと忘れてしまうのだが、後で説明も補足することとして（大丈夫かぁ？）、とりあえずの感触と気分を。二重圏を使うようになってだいぶ事情が見えてきた。とりあえず、遷移翻訳系（トランス…