Классифицированная категория
-
Определение классифицированной категории
- Классифицированная категория — это категория с функтором, связывающим ее с другой категорией.
-
Моноиды и группы как категории
- Моноидальная категория — это категория, где каждому морфизму соответствует элемент моноида.
- Групповая категория — это категория, где каждому морфизму соответствует элемент группы.
-
Определение градуированной категории
- Градуированная категория — это категория, в которой морфизмы имеют градуированные значения.
- Существует множество определений градуированных категорий, включая приведенное выше.
-
Определение G-оценочной категории
- G-оценочная категория — это категория, где морфизмы имеют значения из моноида G.
- Категория должна удовлетворять определенным условиям, включая полноту и верность функтора S.
-
Рекомендации
- Статья является заглушкой и нуждается в расширении.
- Читателям предлагается помочь Википедии, расширив статью.