双対 (圏論)

圏論という数学の分野において，双対性（そうついせい，）は圏 の性質と反対圏 の双対的な性質の間の対応である．圏 についてのステートメントが与えられると，各射の始域と終域を入れ替え，2つの射の合成の順序を入れ替えることによって，反対圏 についての対応する双対命題が得られる．双対性は，そのようなものとして，ステートメントに関するこの操作の下で正しさが不変であるという主張である．言い換えると，あるステートメントが について正しければ，その双対のステートメントは について正しい．また，あるステートメントが について間違いならば，その双対のステートメントは について間違いである．
 が与えられたとき，その反対圏 はしばしばそれ自体が抽象的である． は数学的実践から生じる圏である必要はない．この場合，別の圏 と が圏として同値であるとき， も と双対にあると言われる．
 とその反対圏 が同値であるとき，そのような圏は自己双対 (self-dual) である．
定義.
We define the elementary language of category theory as the two-sorted first order language with objects and morphisms as distinct sorts, together with the relations of an object being the source or target of a morphism and a symbol for composing two morphisms.
Let σ be any statement in this language. We form the dual σop as follows: 
インフォーマルには，これらの条件はステートメントの双対は矢と合成を逆にすることによって作られるといっている．
"Duality" is the observation that σ is true for some category "C" if and only if σop is true for "C"op.
例.
双対性を適用して，これは，ある圏 における射が単射であることと反対圏 においてそれを逆向きにした射が全射であることが同値であることを意味する．
順序についてのこの例は実際に例である，なぜならば半順序は が高々1つの元を持つある種の圏と対応するからである．論理学に適用すれば，否定の非常に一般的な記述に見える（つまり，証明が逆向きに進む）．例えば，束の逆を取れば，"結び"と"交わり"の役割が入れ替わることがわかる．これはド・モルガンの法則あるいは束に適用したの抽象的な形である．