Действие моноидальной категории
- В алгебре действие моноидальной категории S на категорию X является функтором.
- Существуют естественные изоморфизмы, удовлетворяющие условиям когерентности.
- Если такое действие имеет место, говорят, что S действует на X.
- Пример: S воздействует сам на себя с помощью моноидной операции ⊗.
Полный текст статьи: