Related papers: Weak bimonads and weak Hopf monads
Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base…
We develop the theory of weak bimonoids in braided monoidal categories and show them to be quantum categories in a certain sense. Weak Hopf monoids are shown to be quantum groupoids. Each separable Frobenius monoid R leads to a weak Hopf…
Weak (Hopf) bialgebras are described as (Hopf) bimonoids in appropriate duoidal (also known as 2-monoidal) categories. This interpretation is used to define a category wba of weak bialgebras over a given field. As an application, the "free…
Based on the novel notion of `weakly counital fusion morphism', regular weak multiplier bimonoids in braided monoidal categories are introduced. They generalize weak multiplier bialgebras over fields and multiplier bimonoids in braided…
We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal M$. We regard them as bimonoids in the duoidal hom-category $\mathcal M(M,M)$, and generalize to that setting various conditions…
In this paper, we define and study weak monoidal Hom-Hopf algebras, which generalize both weak Hopf algebras and monoidal Hom-Hopf algebras. If $H$ is a weak monoidal Hom-Hopf algebra with bijective antipode and let $Aut_{wmHH}(H)$ be the…
We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition…
A weak entwining structure in a 2-category K consists of a monad t and a comonad c, together with a 2-cell relating both structures in a way that generalizes a mixed distributive law.A weak entwining structure can be characterized as a…
In this paper we introduce the notion of weak operator and the theory of Yetter-Drinfeld modules over a weak braided Hopf algebra with invertible antipode in a strict monoidal category. We prove that the class of such objects constitutes a…
As shown by S. Eilenberg and J.C. Moore (1965), for a monad $F$ with right adjoint comonad $G$ on any catgeory $\mathbb{A}$, the category of unital $F$-modules $\mathbb{A}_F$ is isomorphic to the category of counital $G$-comodules…
We construct a `weak' version EM^w(K) of Lack & Street's 2-category of monads in a 2-category K, by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between…
We introduce a notion of antipode for monoidal (complete) decomposition spaces, inducing a notion of weak antipode for their incidence bialgebras. In the connected case, this recovers the usual notion of antipode in Hopf algebras. In the…
We associate, in a functorial way, a monoidal bicategory $\mathsf{Span}| \mathcal V$ to any monoidal bicategory $\mathcal V$. Two examples of this construction are of particular interest: Hopf polyads (due to Brugui\`eres) can be seen as…
We study semi-strict tricategories in which the only weakness is in vertical composition. We construct these as categories enriched in the category of bicategories with strict functors, with respect to the cartesian monoidal structure. As…
The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There…
A traced monad is a monad on a traced symmetric monoidal category that lifts the traced symmetric monoidal structure to its Eilenberg-Moore category. A long-standing question has been to provide a characterization of traced monads without…
Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive…
We show that some recent constructions in the literature, named `weak' generalizations, can be systematically treated by passing from 2-categories to categories enriched in the Cartesian monoidal category of Cauchy complete categories.
We continue our study of semi-strict tricategories in which the only weakness is in vertical composition. We assemble the doubly-degenerate such tricategories into a 2-category, defining weak functors and transformations. We exhibit a…
Every monoidal functor G: C --> M has a canonical factorization through the category of bimodules over some monoid R in M such that the factor U: C -->_R M_R is strongly unital. Using this result and the characterization of the forgetful…