nLab
Hopf monad

Contents

Idea

One can consider various compatibilities between a (co)monad on a monoidal category and the underlying monoidal product; they are variants of the idea of a distributive law. Similarly, one can look at a compatibility between an action of a monoidal category and a (co)monad on the same category. A Hopf monad satisfies conditions analogous to that of a Hopf monoid (Bruguières 06).

Definitions

Warning: more than one notion comes up with the names of bimonad and Hopf monad; there are also related notions of monoidal monad and opmonoidal monad as well of a strong monad.

Monoidal monads

A monoidal monad on a monoidal category is a monad whose underlying endofunctor is a lax monoidal functor and such that the unit and multiplication are monoidal natural transformations. Consequently, the Kleisli category of a monoidal monad has a canonical monoidal structure such that the forgetful functor is strict monoidal.

(…)

Opmonoidal monads with invertible fusion

An opmonoidal monad on a monoidal category is a monad whose underlying endofunctor is a colax monoidal functor, and such that the unit and multiplication are monoidal natural transformations. An opmonoidal monad is also called a bimonad.

For an opmonoidal monad TT, one can define the left fusion operator to be the natural transformation

T(XTY)TXT 2YTXTY T(X\otimes T Y) \to T X \otimes T^2 Y \to T X \otimes T Y

of the opmonoidal constraint of TT and its monad multiplication. Similarly, we have the right fusion operator

T(TXY)T 2XTYTXTY T(T X\otimes Y) \to T^2 X \otimes T Y \to T X \otimes T Y

The fusion operators satisfy certain axioms. In fact, an opmonoidal monad structure on TT is uniquely determined by a fusion operator (of either sort) along with the monad unit IdTId\to T and the opmonoidal unit constraint TIIT I \to I, satisfying appropriate axioms.

An opmonoidal monad is called a Hopf monad if both of its fusion operators are invertible. More generally we have left and right Hopf monads where only one fusion operator is invertible. This definition is in Bruguières-Lack-Virelizier.

Distributing monad and comonad structures

Alternatively, one might be tempted to define a Hopf monad to be a Hopf monoid in the monoidal category of endofunctors, but that monoidal category is not symmetric or even braided or duoidal, so this doesn’t make sense. However, we can instead ask for a “local” braiding in the form of a mixed distributive law.

Thus, we might define a bimonad to be an endofunctor HH equipped with the structure of both a monad and a comonad, along with a distributive law λ:HHHH\lambda: H H \to H H satisfying suitable axioms analogous to those of a bimonoid. A bimonad in this sense is a Hopf monad if it has an antipode s:HHs:H\to H making the same diagrams commute as for a Hopf monoid. This definition is in Mesablishvili-Wisbauer.

Examples

  • If HH is a bimonoid in a braided monoidal category, then the monad T HX=HXT_H X =H\otimes X (whose algebras are HH-modules) is opmonoidal, with constraints induced by the comultiplication and counit of HH. If HH is moreover a Hopf monoid, then T HT_H is a (Bruguières-Lack-Virelizier) Hopf monad.

  • In fact, if HH is a bimonoid as before, then T HT_H is also a bimonad in the sense of Mesablishvili-Wisbauer, with monad and comonad structures induced by the monoid and comonoid structures of HH. Moreover, if HH is a Hopf monoid, then T HT_H is a Hopf monad in their sense as well.

Properties

If TT is a (Bruguières-Lack-Virelizier) Hopf monad on a closed monoidal category, then its category of algebras is also closed and the monadic forgetful functor preserves internal-homs.

References

  • wikipedia opmonoidal monad

  • Kornél Szlachányi, The monoidal Eilenberg–Moore construction and bialgebroids, J. Pure Appl. Algebra 182, no. 2–3 (2003) 287–315

  • R. Wisbauer, Bimonads and Hopf monads on categories, pdf

  • Bachuki Mesablishvili, Robert Wisbauer, Notes on bimonads and Hopf monads, Theory Appl. Cat. 26:10, 2012, 281-303, abs pdf arxiv/1010.3628

  • D. Chikladze, S. Lack, R. Street, Hopf monoidal comonads, Theorya and Appl. of Cat. 24 (2010) No. 19, 554-563.tac

  • A. Bruguières, Hopf monads, math.QA/0604180; Hopf monads: an introduction, an exposè, pdf; Hopf monads, tensor categories and quantum invariants, an exposè, pdf

Revised on July 12, 2013 04:11:39 by Mike Shulman (137.111.13.200)