Related papers: Weak bimonads and weak Hopf monads
Let V be a cofibrantly generated closed symmetric monoidal model category and M a model V-category. We say that a weighted colimit W*D of a diagram D weighted by W is a homotopy weighted colimit if the diagram D is pointwise cofibrant and…
The present article is devoted to introduce the notion of Hopf bracoid in the braided monoidal framework as the quantum version of skew bracoids, which have been presented by Martin-Lyons and Paul J. Truman. Taking into account that Hopf…
The Vietoris monad on the category of compact Hausdorff spaces is a topological analogue of the power-set monad on the category of sets. Exploiting Manes' characterisation of the compact Hausdorff spaces as algebras for the ultrafilter…
Informally, a homotopy monoid is a monoid-like structure in which properties such as associativity only hold `up to homotopy' in some consistent way. This short paper comprises a rigorous definition of homotopy monoid and a brief analysis…
This paper is devoted to the study of Hopf braces projections in a monoidal setting. Given a cocommutative Hopf brace ${\mathbb H}$ in a strict symmetric monoidal category ${\sf C}$, we define the braided monoidal category of left…
If A is a weak C^*-Hopf algebra then the category of finite dimensional unitary representations of A is a monoidal C^*-category with monoidal unit being the GNS representation D_eps associated to the counit \eps. This category has…
We describe various equivalent ways of associating to an orbifold, or more generally a higher \'etale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we…
We develop the formal theory of monads, as established by Street, in univalent foundations. This allows us to formally reason about various kinds of monads on the right level of abstraction. In particular, we define the bicategory of monads…
This work extends the idea of matched pairs presented by Majid in \cite{Majid} and Takeuchi in \cite{Takeuchi} for the context of weak bialgebras and weak Hopf algebras. We introduce, also inspired by partial matched pairs…
In this paper, we introduce the notion of a four-angle Hopf module for a Hom-Hopf algebra $(H,\beta)$ and show that the category $\!^{H}_{H}\mathfrak{M}^{H}_{H}$ of four-angle Hopf modules is a monoidal category with either a Hom-tensor…
We extend the formalism of Hopf cyclic cohomology to the context of braided categories. For a Hopf algebra in a braided monoidal abelian category we introduce the notion of stable anti-Yetter-Drinfeld module. We associate a para-cocyclic…
We first introduce the notion of Doi Hom-Hopf modules and find the sufficient condition for the category of Doi Hom-Hopf modules to be monoidal. Also we obtain the condition for the monoidal Hom-algebra and monoidal Hom-coalgebra to be…
The center Z(C) of an autonomous category C is monadic over C (if certain coends exist in C). The notion of Hopf monad naturally arises if one tries to reconstruct the structure of Z(C) in terms of its monad Z: we show that Z is a…
For each braided category $\mathcal{C}$ we show that, under mild hypotheses, there is an associated category of "half braided algebras" and their bimodules internal to $\mathcal{C}$ which is not only monoidal but even braided and balanced.…
Strong bisimulation for labelled transition systems is one of the most fundamental equivalences in process algebra, and has been generalised to numerous classes of systems that exhibit richer transition behaviour. Nearly all of the ensuing…
We show that induction along a Frobenius extension of Hopf algebras is a Frobenius monoidal functor in great generality, in particular, for all finite-dimensional and all pointed Hopf algebras. As an application, we show that induction…
Doplicher and Roberts originally posed the problem of extending their duality theory for compact groups and field reconstruction to theories admitting braided symmetry. In this paper, we address this problem for the Wess-Zumino-Witten model…
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonas on the…
We characterize in terms of bicategories actions of monoidal categories to representation categories of algebras. For that purpose we introduce cocycles in any 2-category $\K$ and the category of Tambara modules over a monad $B$ in $\K$. We…
We examine the periodic table of weak n-categories for the low-dimensional cases. It is widely understood that degenerate categories give rise to monoids, doubly degenerate bicategories to commutative monoids, and degenerate bicategories to…