反対圏
圏論という数学の分野において,与えられた圏 C の反対圏(はんたいけん,英: opposite category),逆圏(ぎゃくけん)あるいは双対圏(そうついけん,英: dual category)Cop は射を逆にする,つまり,各射の始域と終域を交換することによって作られる.逆にする操作を2回やるともとの圏になるので,逆圏の逆圏はもとの圏自身である.記号で書けば, である.
例
- x ≤new y ⇔ y ≤ x
- によって定義できる.例えば,子と親,あるいは子孫と先祖という逆のペアがある.
参考文献
- “Is there an introduction to probability theory from a structuralist/categorical perspective?”. MathOverflow. 2010年10月25日閲覧。
- 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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.