>>62
圏双対と双対圏は違うと思われ。
(>>6ではequivalenceと並べて書いてあるから、dualじゃなくてduality of categoriesだと思う)