contravariant functor

《Basic Category Theory》 · 第 25 页 · Definition 1.2.10

A contravariant functor from \(\mathcal A\) to \(\mathcal B\) is a functor \(\mathcal A^{\mathrm{op}}\to\mathcal B\).