米田、余米田？

圏一般論

\newcommand{cat}[1]{\mathcal{#1}}%

シャピラの「アーベル層」の教科書（https://webusers.imj-prg.fr/~pierre.schapira/lectnotes/Shv.pdf）によると：

  • \cat{C}^\wedge = \mathrm{Fct}(\cat{C}^{op}, {\bf Set})
  • \cat{C}^\vee = \mathrm{Fct}(\cat{C}^{op}, {\bf Set}^{op}) = \mathrm{Fct}(\cat{C}, {\bf Set})^{op}

上は前層の圏だが、下はなに？ 余前層の圏の反対圏だが、これは？