前層
from
層
presheaf
とある
関手
$ \mathscr{A}^\mathrm{op}\to\mathrm{Set}
のこと
定義
$ \mathscr{A}
を圏とする
$ \mathscr{A}
上の前層とは、
関手
$ \mathscr{A}^\mathrm{op}\to\mathrm{Set}
のことである
前層の元
「
モノイド
の作用する集合」の概念を一般化したもの
#??
前層の圏
『圏論の道案内』.icon
p.124になんか書いてあるがよくわかっていない
$ y: C\rightarrow\mathrm{Sets}^{C^\mathrm{op}}
/dragoon8192-main/前層
参考
ベシ圏
p.29
http://tsujimotter.hatenablog.com/entry/definition-of-sheaf#前層復習
https://mathlog.info/articles/1422
https://ncatlab.org/nlab/show/presheaf
https://m-hiyama.hatenablog.com/entry/20180905/1536140128