反変関手
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}の双対圏 参考