圏論に戻ります。 双対圏 圏 が与えられたとき、その双対圏(dual category)(もしくは逆圏(opposite category)) を、以下のように定義することができます。 まず、 の対象とは の対象です。そして、 のとき で定義します。つまり、 における a から b への射…