反対圏

圏論という数学の分野において，与えられた圏の反対圏（はんたいけん，），逆圏（ぎゃくけん）あるいは双対圏（そうついけん，）は射を逆にする，つまり，各射の始域と終域を交換することによって作られる．逆にする操作を2回やるともとの圏になるので，逆圏の逆圏はもとの圏自身である．記号で書けば，である．

例例の1つは半順序の不等式の向きを逆にして得られる．つまりが集合でが半順序関係のとき，新しい半順序関係を

によって定義できる．例えば，子と親，あるいは子孫と先祖という逆のペアがある．

ブール代数とその準同型の圏はと連続写像の圏の逆圏と同値である．アフィーンスキームの圏は可換環の圏の逆圏と同値である．ポントリャーギン双対性を制限してコンパクトハウスドルフ空間ハウスドルフ可換位相群の圏と（離散）アーベル群の圏の逆圏の間の同値を得る． Gelfand–Neumark の定理により，局所化可能な可測空間（と可測関数）の圏は可換フォン・ノイマン環（と *-環の正規準同型）の圏と同値である．

性質逆は積を保つ： (を参照)

逆は関手を保つ： H. Herrlich, G. E. Strecker, Category Theory, 3rd Edition, Heldermann Verlag, ISBN 978-3-88538-001-6, p. 99.O. Wyler, Lecture Notes on Topoi and Quasitopoi, World Scientific, 1991, p. 8. (関手圏，を参照)

逆は slice を保つ： (コンマ圏を参照)

Źródło i licencja