Akce monooidní kategorie - Monoidal category action

V algebře, an akce a monoidní kategorie S na kategorii X je funktor

${ displaystyle cdot: S krát X až X}$

takové, že existují přirozené izomorfismy ${ Displaystyle s cdot (t cdot x) simeq (s cdot t) cdot x}$ a ${ displaystyle e cdot x simeq x}$ a tento přirozený izomorfismus splňuje podmínky koherence analogické těm v S.^[1] Pokud dojde k takové akci, S prý jedná X.

Například, S působí na sebe prostřednictvím monoidní operace ⊗.

Reference

• C. Weibel “Kniha K: Úvod do algebraické teorie K. "

Tento algebra související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.