WikiDer > Четко обозначенная категория - Википедия

Well-pointed category - Wikipedia

В теория категорий, категория с конечный объект является четко обозначенный если для каждой пары стрелок такой, что , есть стрелка такой, что . (Стрелки называются глобальные элементы или же точки категории; Таким образом, четко обозначенная категория - это категория, имеющая «достаточно точек», чтобы различать неравные стрелки.)

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

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

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