双対 (圏論)

圏論という数学の分野において，双対性（そうついせい，英: duality）は圏 C の性質と反対圏 Cop の双対的な性質の間の対応である．圏 C についてのステートメントが与えられると，各射の始域と終域を入れ替え，2つの射の合成の順序を入れ替えることによって，反対圏 Cop についての対応する双対命題が得られる．