nLab comodule algebra

Given a bimonoid BB and a monoid AA in a symmetric monoidal category CC, a right coaction ρ:AAB\rho: A\to A\otimes B is a right Hopf coaction if ρ\rho is a morphism of monoids where ABA\otimes B has the standard structure of a tensor product of monoids in the symmetric monoidal category CC.

Created on April 12, 2009 at 22:48:08. See the history of this page for a list of all contributions to it.