Моноидальная естественная трансформация
- Статья рассматривает две моноидальные категории и два слабых моноидальных функтора между ними.
- Моноидальное естественное преобразование между функторами происходит через θ: F → G.
- Диаграммы используются для описания преобразования между объектами A и B от C.
- Симметричное моноидальное естественное преобразование относится к моноидальному естественному преобразованию между симметричными моноидальными функторами.
Полный текст статьи: