十分に点を持つ圏
well-pointed
射を区別するのに十分な
大域要素
が存在する、という意味
定義
終対象
$ 1
を持つ圏
$ C
が
十分に点を持つ
⇔
終対象
$ 1
が
識別対象
例
集合と写像の圏
$ \mathbf{Set}
は十分に点を持つ
Ref.icon
well-pointed topos in nLab