>>351の修正

定義(>>304の言い換え)
C を圏(>>340)とする。
|C| を C のグラフ(>>344)とする。
|C|^o を |C| の双対グラフ(>>333)とする。
C において、f: X → Y のとき
|C|^o における f: Y → X を f^o と書くことにする。

C において、f: X → Y, g: Y → Z のとき
g^o: Z → Y と f^o: Y → X の合成 (f^o)(g^o) を
(gf)^o = (f^o)(g^o) により定義する。
このとき |C|^o は射の合成により圏になる。
この圏を C^o と書き C の双対圏と呼ぶ。