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