前層の元
前層
の元
定義
$ B\in \mathscr{A}
と、
$ x\in X(B)
からなる組
$ (B,x)
を
前層
$ X
の元と呼ぶ
図で描くと
https://gyazo.com/2a72cf001302dad91f82e43cf74def29
これの
$ (A,a)
とか
$ (B,b)
が、前層
$ X
の元
前層の普遍元
参考
ベシ圏
p.120
「呼ばれることがある」と書いてるし、
ググっても全然引っかからないので、恐らくさほど一般的な呼称ではない
mrsekut.icon