「反対圏」の版間の差分
削除された内容 追加された内容
en:Opposite_category&oldid=725737426 |
m bot: 解消済み仮リンク関手圏を内部リンクに置き換えます |
||
18行目:
逆は[[関手]]を保つ：
:<math>(\mathrm{Funct}(C,D))^{\text{op}} \cong \mathrm{Funct}(C^{\text{op}},D^{\text{op}})</math><ref>H. Herrlich, G. E. Strecker, ''Category Theory'', 3rd Edition, Heldermann Verlag, ISBN 978-3-88538-001-6, p. 99.</ref><ref>O. Wyler, ''Lecture Notes on Topoi and Quasitopoi'', World Scientific, 1991, p. 8.</ref> (
逆は slice を保つ：
| |||