convariant functor, はんぺんかんしゅ

圏\mathscr{A}から圏\mathscr{B}への反変関手とは、関手\mathscr{A}^\mathrm{op}\rightarrow \mathscr{B}のこと

\mathscr{A}\rightarrow\mathscr{B}^\mathrm{op}と書いてもおなじ

(\mathscr{A}^\mathrm{op})^\mathrm{op}=\mathscr{A} だから

矢印を逆転させるもの

\mathscr{A}^\mathrm{op}は\mathscr{A}の双対圏

余関手？

参考

ベシ圏 p.26~