反対圏
圏論という数学の分野において,与えられた圏 C の反対圏(はんたいけん,英: opposite category),逆圏(ぎゃくけん)あるいは双対圏(そうついけん,英: dual category)C は射を逆にする,つまり,各射の始域と終域を交換することによって作られる.逆にする操作を2回やるともとの圏になるので,逆圏の逆圏はもとの圏自身である.記号で書けば, ( C op ) op = C {\displaystyle (C^{\text{op}})^{\text{op}}=C} である.