from 層

\mathscr{A}^\mathrm{op}\to\mathrm{Set}のこと

定義

\mathscr{A}を圏とする

\mathscr{A}上の前層とは、

関手\mathscr{A}^\mathrm{op}\to\mathrm{Set}のことである

「モノイドの作用する集合」の概念を一般化したもの

p.124になんか書いてあるがよくわかっていない

y: C\rightarrow\mathrm{Sets}^{C^\mathrm{op}}

参考

ベシ圏 p.29