Моноидальное естественное преобразование
Эта статья нуждается в дополнительных цитатах для проверки . ( декабрь 2009 г. ) |
Предположим, что и две моноидальные категории и
- и
представляют собой два нестрогих моноидальных функтора между этими категориями.
Моноидальное естественное преобразование
между этими функторами происходит естественное преобразование между базовыми функторами так, что диаграммы
ездить на все объекты и из (см. определение 11 в [1] ).
Симметричное моноидальное естественное преобразование — это моноидальное естественное преобразование между симметричными моноидальными функторами .
Ссылки [ править ]
- ^ Баэз, Джон К. «Некоторые определения, которые должен знать каждый» (PDF) . Проверено 2 декабря 2014 г.