Условие согласованности
- Условие когерентности в математике требует, чтобы различные композиции элементарных морфизмов были одинаковыми.
- Элементарные морфизмы являются частью данных категории.
- Теорема когерентности утверждает, что для проверки всех равенств достаточно проверить небольшое число тождеств.
- В моноидальной категории существует множество способов построить морфизм, используя композиции различных αA, B, C.
- Условие когерентности обычно налагается и доказывается с помощью теоремы когерентности.
- Примеры когерентности включают идентичность и ассоциативность композиции морфизмов.
- Утверждения о когерентности в конкретных примерах являются теоремами для абстрактной категории.
- В конкретных математических структурах условия когерентности могут рассматриваться как требования к соответствию структуры определенной категории.
Полный текст статьи: