Четко обозначенная категория - Well-pointed category

В теория категорий, категория с конечный объект ${\displaystyle 1}$ является четко обозначенный если для каждой пары стрелок ${\displaystyle f,g:A\to B}$ такой, что ${\displaystyle f\neq g}$, есть стрелка ${\displaystyle p:1\to A}$ такой, что ${\displaystyle f\circ p\neq g\circ p}$. (Стрелки ${\displaystyle p}$ называются глобальные элементы или же точки категории; Таким образом, четко обозначенная категория - это категория, имеющая «достаточно точек», чтобы различать неравные стрелки.)

Смотрите также

• Указанная категория

Рекомендации

• Питтс, Эндрю М. (2013). Номинальные множества: имена и симметрия в компьютерных науках. Кембриджские трактаты в теоретической информатике. 57. Издательство Кембриджского университета. п. 16. ISBN  1107017785.