Hopf action

In a strict symmetric monoidal category $C$ with symmetry $\tau$, a map $\triangleright : B\otimes A\to A$, where $(B,\Delta_B)$ is a comonoid and $(A,\mu_A)$ a monoid, is a measuring if

$B\triangleright \mu_A = \mu_A\circ(\triangleright \otimes \triangleright)\circ (B\otimes \tau\otimes A)\circ (\Delta_B\otimes A\otimes A) : B\otimes A\otimes A\to A$

where we wrote $B=\mathrm{id}_B$ etc. If $B$ is in fact a bimonoid and if the measuring $\triangleright:B\otimes A\to A$ is an action, then $\triangleright$ is said to be a **Hopf action**. In the $k$-linear case, a $k$-algebra $(A,\mu_A)$ equipped with a Hopf action is called also a **left $B$-module algebra**; it is the same as a monoid (=algebra) in the monoidal category of left $B$-modules, where the monoidal structure is induced by the coaction $\Delta_B$. It is straightforward to modify the condition above to the case of non-strict symmetric monoidal categories. A dual concept is a *Hopf coaction* or equivalently, a notion of a $B$-comodule algebra.

Created on April 12, 2009 22:38:13
by Zoran Škoda
(195.37.209.180)