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