Действие моноидальной категории

В алгебре действием моноидальной категории S на категорию X является функтор

$\cdot :S\times X\to X$

такие, что существуют естественные изоморфизмы $s\cdot (t\cdot x)\simeq (s\cdot t)\cdot x$ и $e\cdot x\simeq x$ и этот естественный изоморфизм удовлетворяет условиям когерентности, аналогичным условиям в S . Если такое действие существует, действует говорят, что на X. S

Например, S действует на себя посредством операции моноида ⊗.

Ссылки

• Вейбель, Чарльз (2013). К-книга: введение в алгебраическую К-теорию . Аспирантура по математике. Том. 145. Американское математическое общество. ISBN  978-0-8218-9132-2 .