図式 (圏論)の話に関連する

対象Aを値域とする射のこと

特に、S\rightarrow Aのような射を「S型の一般元」という

射を要素として見る視点はこれ

例

Aを集合とすると

1点集合型の一般元は、Aの元

\mathbb{N}型の一般源は、Aの列

参考

ベシ圏 p.111