前層の元

定義

B\in \mathscr{A}と、x\in X(B)からなる組(B,x)を

前層Xの元と呼ぶ

図で描くと

これの(A,a)とか(B,b)が、前層Xの元

参考

ベシ圏 p.120

「呼ばれることがある」と書いてるし、

ググっても全然引っかからないので、恐らくさほど一般的な呼称ではない