>>357

>>338
>もう一つの圏論の利点はその双対性
>圏論の１個の定理を証明すればその双対定理の証明は不要である。
>一石二鳥

しばしばある圏の双対圏は元の圏と非常に異なる。
しかもそれは有用な圏である場合がある。
例えばアーベル群の圏の双対圏はコンパクトアーベル群の圏と圏同値
だからこの場合上記の双対原理は非常に有用である。