symmetric monoidal (∞,1)-category of spectra
Bimonoid is a monoid and comonoid in compatible way. The compatibility is easy to formulate in symmetric monoidal categories and much harder in nonsymmetric setup.
In a symmetric monoidal category, a bimonoid (or bimonoid object) is an object equipped with a structure of a monoid and a comonoid which are compatible in one of two equivalent ways: the comultiplication and the counit are morphisms of monoids or the multiplication and the unit are morphisms of comonoids. The symmetry of the monoidal structure is involved in the definition of the tensor product as monoids and as comonoids.
More generally, in a cartesian monoidal category, every monoid object is a bimonoid in a unique way, with comultiplication being the diagonal map. Dually, every comonoid object in a cocartesian monoidal category is a bimonoid in a unique way.
If is a bimonoid in , then the category of -modules inherits a monoidal structure such that the forgetful functor (the “fiber functor”) is a strong monoidal functor. For -modules and , we equip the tensor product in with the -action given by
where denotes the comultiplication of as a comonoid. The bimonoid compatibility axioms are exactly what is needed to make this a -module structure, and coassociativity makes it associative. Similarly, we use the counit of to give the unit object a -module structure.
These relations are known as Tannaka duality for monoids/algebras, see at structure on algebras and their module categories - table.
It is interesting how to generalize this notion in various nonsymmetric situations, for example involving braidings, or more generally in duoidal categories, or in relative situations over noncommutative rings (e.g. Takeuchi bialgebroids). In the completely noncommutative situation of the monoidal category of endofunctors, one can look at various compatibilities between monads and comonads or monads and tensor products, for example involving distributive laws.
As far as compatibility with tensor product is concerned, there is a notion of a bimonad and involves a version of distributive laws, hence it is related to a lifting problem:
Ieke Moerdijk, Monads on tensor categories, Category theory 1999 (Coimbra), J. Pure Appl. Algebra 168 (2002), no. 2-3, 189–208 (MR2003e:18012)
Kornél Szlachányi, The monoidal Eilenberg–Moore construction and bialgebroids, J. Pure Appl. Algebra 182, no. 2–3 (2003) 287–315; Adjointable monoidal functors and quantum groupoids, math.QA/0301253
Szlachányi uses earlier analysis of
P. Schauenburg, Bialgebras over noncommutative rings, and a structure theorem for Hopf bimodules, Applied Categorical Structures 6, 193-222 (1998) doi
For a dual version see
There is also a more subtle notion also called Hopf monad in
In some of these generalized cases, one does not have a good notion of of antipode, so that the difference between bimonoids and Hopf monoids has to be stated in different terms. A similar case is in the case of Hopf algebroids over a noncommutative base:
Gabi Böhm, Hopf algebroids, (a chapter of) Handbook of algebra, arxiv:math.RA/0805.3806; An alternative notion of Hopf algebroid; in “Hopf algebras in noncommutative geometry and physics”, 31–53, Lec. Notes in Pure and Appl. Math. 239, Dekker, New York 2005; math.QA/0301169