generated at
2/18/2025, 6:04:38 PM
十分に点を持つ圏
well-pointed
射を区別するのに十分な
大域要素
が存在する、という意味
定義
終対象
1
を持つ圏
C
が
十分に点を持つ
⇔
終対象
1
が
識別対象
例
集合と写像の圏
\mathbf{Set}
は十分に点を持つ
well-pointed topos in nLab