Недискретная категория - Indiscrete category
 | Эта статья не цитировать любой источники. (Июнь 2015 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
An недискретная категория это категория C в котором каждый домашний набор C(Икс, Y) это одиночка. Каждый учебный класс Икс порождает недискретную категорию, объекты которой являются элементами Икс ровно с одним морфизм между любыми двумя объектами. Любые две непустые недискретные категории эквивалент друг другу. В функтор из Набор к Кот который отправляет набор в соответствующую недискретную категорию, правый смежный к функтору, который отправляет небольшую категорию своему набору объектов.
Рекомендации
 | Этот теория категорий -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |