Related papers: Frobenius monoidal functors from (co)Hopf adjuncti…
We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally…
A Frobenius algebra is a finite-dimensional algebra $A$ which comes equipped with a coassociative, counital comultiplication map $\Delta$ that is an $A$-bimodule map. Here, we examine comultiplication maps for generalizations of Frobenius…
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…
We define twisted Frobenius extensions of graded superrings. We develop equivalent definitions in terms of bimodule isomorphisms, trace maps, bilinear forms, and dual sets of generators. The motivation for our study comes from…
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…
If a locally cartesian closed category carries a weak factorisation system, then the left maps are stable under pullback along right maps if and only if the right maps are closed under pushforward along right maps. We refer to this…
We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples…
A known fundamental Theorem for braided pointed Hopf algebras states that for each coideal subalgebra, that fulfils a few properties, there is an associated quotient coalgebra right module such that the braided Hopf algebra can be…
Over a Noetherian, local ring R of prime characteristic p, the Frobenius functor F induces a diagonalizable map on certain quotients of rational Grothendieck groups. This leads to an explicit formula for the Dutta multiplicity, and it is…
Given a right adjoint functor between triangulated categories and an object in the target category, we show that the unit map of adjunction on that object is a split monomorphism if and only if the object belongs to the additive closure of…
We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…
Let $\mathbb{k}$ be a characteristic zero domain. We define and study a diagrammatic monoidal $\mathbb{k}$-linear supercategory $\mathbf{Web}^{aff}_{A}$ associated to any locally unital Frobenius $\mathbb{k}$-superalgebra $A$. This category…
We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain…
We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong…
We study adjoint and Frobenius pairs of functors, equivalences, and the Picard group for corings.
The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct endomorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is…
In this work, using the functoriality of Drinfeld center of fusion categories, we generalize an earlier result on the functoriality of full center of simple separable algebras in a fixed fusion category to all fusion categories. This…
We study Galois extensions Coinv(M)<M for M an H-comodule algebra and H a Frobenius Hopf algebroid. We obtain generalizations of various theorems in Hopf-Galois theory by Kreimer-Takeuchi, Doi-Takeuchi and Cohen-Fischman-Montgomery. An…
We classify the pivotal structures of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ of a finite tensor category $\mathcal{C}$. As a consequence, every pivotal structure of $\mathcal{Z}(\mathcal{C})$ can be obtained from a pair $(\beta, j)$…
Starting from an abelian rigid braided monoidal category C we define an abelian rigid monoidal category C_F which captures some aspects of perturbed conformal defects in two-dimensional conformal field theory. Namely, for V a rational…