generated at
大域要素
global element
大域点
global point

定義
終対象1をもつ圏Cにおいて
対象cの大域要素\bar cとは
射\bar c\colon1→cのこと

例
\mathbf{Set}においては集合の要素と対応
\mathbf{Cat}においては対象と対応する

Ref global element in nLab