Holmstrom Algebra over a monoidal category

Let CC be a Monoidal category. A CC-algebra structure on a category DD is a monoidal structure on DD together with a monoidal functor i:CDi: C \to D. A CC-algebra functor is a monoidal functor “commuting with ii up to natural isomorphism”. The CC-algebras form a 2-category, and there is a forgetful 2-functor to $C$-modules.

Example: Let CC be RR-mod (RR a commutative ring), and consider a map of RR-algs, STS \to T. Get a CC-algebra functor from SmodS-mod to TmodT-mod by tensoring with TT over the base ring SS.

If CC is symmetric monoidal, then a symmetric CC-algebra structure on a category DD is a symmetric monoidal structure on DD together with a symmetric monoidal functor CDC \to D. A symmetric CC-algebra functor is a symmetric monoidal functor that is also a CC-algebra functor. We can also define a central CC-algebra structure.

Example: The category of modules over a commutative Hopf algebra (over a field) is a central algebra over the category of vector spaces. It is symmetric iff the Hopf algebra is cocommutative.

nLab page on Algebra over a monoidal category

Created on June 9, 2014 at 21:16:13 by Andreas Holmström