WikiDer > Четко обозначенная категория - Википедия
В теория категорий, категория с конечный объект является четко обозначенный если для каждой пары стрелок такой, что , есть стрелка такой, что . (Стрелки называются глобальные элементы или же точки категории; Таким образом, четко обозначенная категория - это категория, имеющая «достаточно точек», чтобы различать неравные стрелки.)
Смотрите также
Рекомендации
- Питтс, Эндрю М. (2013). Номинальные множества: имена и симметрия в компьютерных науках. Кембриджские трактаты в теоретической информатике. 57. Издательство Кембриджского университета. п. 16. ISBN 1107017785.
Этот теория категорий-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |