Related papers: Bimonads and Hopf monads on categories

Let $B$ be a bialgebra, and $A$ a left $B$-comodule algebra in a braided monoidal category $\Cc$, and assume that $A$ is also a coalgebra, with a not-necessarily associative or unital left $B$-action. Then we can define a right $A$-action…

We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the…

For a smooth affine algebraic group $G$, one can attach various D-module categories to it that admit convolution monoidal structure. We consider the derived category of D-modules on $G$, the stack $G/G_{ad}$ and the category of…

Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…

Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…

In braided tensor categories we show the Maschke's theorem and give the necessary and sufficient conditions for double cross biproducts and crossbiproducts and biproducts to be bialgebras. We obtain the factorization theorem for braided…

The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…

This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitive tensor structures. Unlike the classical setting, where the…

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.…

Hopf algebras are closely related to monoidal categories. More precise, $k$-Hopf algebras can be characterized as those algebras whose category of finite dimensional representations is an autonomous monoidal category such that the forgetful…

The category of Hilbert modules may be interpreted as a naive quantum field theory over a base space. Open subsets of the base space are recovered as idempotent subunits, which form a meet-semilattice in any firm braided monoidal category.…

Combinatorial groups together with the groups of natural coalgebra transformations of tensor algebras are linked to the groups of homotopy classes of maps from the James construction to a loop space. This connection gives rise to…

We prove the graded braided commutativity of the Hochschild cohomology of $A$ with trivial coefficients, where $A$ is a braided Hopf algebra in the category of Yetter-Drinfeld modules over the group algebra of an abelian group, under some…

Let $A$ be a Hopf algebra in a braided category $\cal C$. Crossed modules over $A$ are introduced and studied as objects with both module and comodule structures satisfying a compatibility condition. The category $\DY{\cal C}^A_A$ of…

We define a Hopf cyclic (co)homology theory in an arbitrary symmetric strict monoidal category. Thus we unify all different types of Hopf cyclic (co)homologies under one single universal theory. We recover Hopf cyclic (co)homology of module…

In this work we develop some aspects of the theory of Hopf algebras to the context of autonomous map pseudomonoids. We concentrate in the Hopf modules and the Centre or Drinfel'd double. If $A$ is a map pseudomonoid in a monoidal bicategory…

This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule…

Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper we study the…

We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…

Following the theory of principal $\infty$-bundles of Niklaus-Schreiber-Steveson, we develop a homotopy categorification of Hopf algebras, which model quantum groups. We study their higher-representation theory in the setting of…