Оцениваемая категория

Классифицированная категория Определение классифицированной категории Классифицированная категория — это категория с функтором, связывающим ее с другой категорией.  Моноиды и группы […]

Классифицированная категория

  • Определение классифицированной категории

    • Классифицированная категория — это категория с функтором, связывающим ее с другой категорией. 
  • Моноиды и группы как категории

    • Моноидальная категория — это категория, где каждому морфизму соответствует элемент моноида. 
    • Групповая категория — это категория, где каждому морфизму соответствует элемент группы. 
  • Определение градуированной категории

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

    • G-оценочная категория — это категория, где морфизмы имеют значения из моноида G. 
    • Категория должна удовлетворять определенным условиям, включая полноту и верность функтора S. 
  • Рекомендации

    • Статья является заглушкой и нуждается в расширении. 
    • Читателям предлагается помочь Википедии, расширив статью. 

Полный текст статьи:

Оцениваемая категория

Оставьте комментарий

Прокрутить вверх