相关论文: Bimonads and Hopf monads on categories

A handlebody-knot is a handlebody embedded in the 3-sphere. We establish a uniform method to construct invariants for handlebody-links. We introduce the category $\mathcal{T}$ of handlebody-tangles and present it by generators and…

Liftable pairs of adjoint functors between braided monoidal categories in the sense of \cite{GV-OnTheDuality} provide auto-adjunctions between the associated categories of bialgebras. Motivated by finding interesting examples of such pairs,…

After recalling the definition of a bicoalgebroid, we define comodules and modules over a bicoalgebroid. We construct the monoidal category of comodules, and define Yetter--Drinfel'd modules over a bicoalgebroid. It is proved that the…

This article is devoted to the investigation of the deformation (twisting) of monoidal structures, such as the associativity constraint of the monoidal category and the monoidal structure of monoidal functor. The sets of twistings have a…

Let $H$ be a finite dimensional bialgebra. In this paper, we prove that the category of Yetter-Drinfeld-Long bimodules is isomorphic to the Yetter-Drinfeld category over the tensor product bialgebra $H\o H^*$ as monoidal category. Moreover…

Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category…

A braided generalization of the concept of Hopf algebra (quantum group) is presented. The generalization overcomes an inherent geometrical inhomogeneity of quantum groups, in the sense of allowing completely pointless objects. All…

We give an account of the basic combinatorial structure underlying the notion of type dependency. We do so by considering the category of all dependent sequent calculi, and exhibiting it as the category of algebras for a monad on a presheaf…

Let H be a quasi-Hopf algebra, a weak Hopf algebra or a braided Hopf algebra. Let B be an H-bicomodule algebra such that there exists a morphism of H-bicomodule algebras v:H\rightarrow B. Then we can define an object B^{co(H)} which is a…

Using the braided version of Lawvere's algebraic theories and Mac Lane's PROPs, we introduce polynomial identities for arbitrary algebraic structures in a braided monoidal category C as well as their codimensions in the case when C is…

The category of strict polynomial functors inherits an internal tensor product from the category of divided powers. To investigate this monoidal structure, we consider the category of representations of the symmetric group which admits a…

In this paper, we generalize the principle of the Long-Moody construction for representations of braid groups to other groups, such as mapping class groups of surfaces. Namely, we introduce endofunctors over a functor category that encodes…

For any finite-dimensional Hopf algebra $H$ we construct a group homomorphism $\biga(H)\to \text{BrPic}(\Rep(H))$, from the group of equivalence classes of $H$-biGalois objects to the group of equivalence classes of invertible exact…

We study ideals in Hall algebras of monoid representations on pointed sets corresponding to certain conditions on the representations. These conditions include the property that the monoid act via partial permutations, that the…

Given a Hopf algebra $H$, Brzezi\'nski and Militaru have shown that each braided commutative Yetter-Drinfeld $H$-module algebra $A$ gives rise to an associative $A$-bialgebroid structure on the smash product algebra $A \sharp H$. They also…

The goal of this paper is to find a close to isomorphic presentation of 3-manifolds in terms of Hopf algebraic expressions. To this end we define and compare three different braided tensor categories that arise naturally in the study of…

We study induced model structures on Frobenius categories. In particular we consider the case where $\mathcal{C}$ is the category of comodules of a supercommutative Hopf algebra $A$ over a field $k$. Given a graded Hopf algebra quotient $A…

Polynomials in a category have been studied as a generalization of the traditional notion in mathematics. Their construction has recently been extended to higher groupoids, as formalized in homotopy type theory, by Finster, Mimram, Lucas…

We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means…

In this paper we investigate the categories of braided objects, algebras and bialgebras in a given monoidal category, some pairs of adjoint functors between them and their relations. In particular we construct a braided primitive functor…