大域要素
global element
大域点
global point
定義
終対象
$ 1
をもつ圏
$ C
において
対象
$ c
の
大域要素
$ \bar c
とは
射
$ \bar c\colon1→c
のこと
例
$ \mathbf{Set}
においては集合の要素と対応
$ \mathbf{Cat}
においては対象と対応する
Ref.icon
global element in nLab