フレイド／セドロフが面白い記法を使っている。けっこう本質的かもしれない。[追記]そのフレイド／セドロフの本が紛失した。なんてこったい。いったいどこで？[/追記]Dは圏Cにおける図式、D'はDの拡張になっている図式とする。正確に言えば、Dのシェープから…