Related papers: A duality between monads and monadic morphisms
We show that various cyclic and cocyclic modules attached to Hopf algebras and Hopf modules are related to each other via Connes' duality isomorphism for the cyclic category.
Abstract clones serve as an algebraic presentation of the syntax of a simple type theory. From the perspective of universal algebra, they define algebraic theories like those of groups, monoids and rings. This link allows one to study the…
In this paper we develop the theory of operads, algebras and modules in cofibrantly generated symmetric monoidal model categories. We give J-semi model strucures, which are a slightly weaker version of model structures, for operads and…
We introduce a notion of duality for a Lie-Rinehart algebra giving certain bilinear pairings in its cohomology generalizing the usual notions of Poincar\'e duality in Lie algebra cohomology and de Rham cohomology. We show that the duality…
We have generalised the notion of categorical theory in model theory to the context of coherent theories. We prove a duality result between the full sub-2-category of pretopoi which are categorical, and the 2-category of profinite monoids.…
It is well-known that small categories have equivalent descriptions as partial monoids. We provide a formulation of partial monoid and partial monoid homomorphism involving $s$ and $t$ instead of identities and then following a recent…
In this paper, motivated by the theory of operads and PROPs we reveal the combinatorial nature of tensor calculus for strict tensor categories and show that there exists a monad which is described by the coarse-graining of graphs and…
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
A Hopf monad, in the sense of Brugui\`eres, Lack, and Virelizier, is a special kind of monad that can be defined for any monoidal category. In this note, we study Hopf monads in the case of a category with finite biproducts, seen as a…
Let X be a smooth elliptic fibration over a smooth base B. Under mild assumptions, we establish a Fourier-Mukai equivalence between the derived categories of two objects, each of which is an O^* gerbe over a genus one fibration which is a…
Given a smooth proper morphism $f\colon X\rightarrow S$, we introduce a certain derived category where morphisms are permitted to be $\mathcal{O}_S$-linear differential operators. We then prove a generalisation of Serre duality that applies…
A $\mathfrak{g}$-oper for a simple Lie algebra $\mathfrak{g}$ is a specific type of flat principal bundle on an algebraic curve. When the base field is of prime characteristic $p$, those with vanishing $p$-curvature are called dormant…
We prove a duality theorem for quantum groupoid (weak Hopf algebra) actions that extends the well-known result for usual Hopf algebras.
Given a horizontal monoid M in a duoidal category F, we examine the relationship between bimonoid structures on M and monoidal structures on the category of right M-modules which lift the vertical monoidal structure of F. We obtain our…
We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.
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…
We use Lurie's symmetric monoidal envelope functor to give two new descriptions of $\infty$-operads: as certain symmetric monoidal $\infty$-categories whose underlying symmetric monoidal $\infty$-groupoids are free, and as certain symmetric…
We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then design generic tools to construct admissible monad…
Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…
We study the construction of tensor products of representations up to homotopy, which are the A-infinity version of ordinary representations. We provide formulas for the construction of tensor products of representations up to homotopy and…