Недискретная категория

В теории категорий , разделе математики , недискретная категория — это категория существует ровно один морфизм . , в которой между любыми двумя объектами Каждый класс X порождает недискретную категорию, объекты которой являются элементами X, , что для любых двух объектов A и B существует только один морфизм из A в B. такие Любые две непустые недискретные категории эквивалентны друг другу. Функтор , из Set в Cat который отправляет набор в соответствующую недискретную категорию, смежно справа с функтором, который отправляет небольшую категорию в свой набор объектов.