一般元
generalized element
図式 (圏論)の話に関連する
対象$ Aを値域とする射のこと
特に、$ S\rightarrow Aのような射を「S型の一般元」という
射を要素として見る視点はこれ
例
$ Aを集合とすると
1点集合型の一般元は、$ Aの元
$ \mathbb{N}型の一般源は、$ Aの列
参考
ベシ圏 p.111