English
Related papers

Related papers: The 2-category of weak entwining structures

200 papers

When one studies the structure (e.g. graded ideals, graded subspaces, radicals, ...) or graded polynomial identities of graded algebras, the grading group itself does not play an important role, but can be replaced by any other group that…

Rings and Algebras · Mathematics 2023-09-14 Alexey Gordienko , Ofir Schnabel

We introduce dicodensity monads: a generalisation of pointwise codensity monads generated by functors to monads generated by mixed-variant bifunctors. Our construction is based on the notion of strong dinaturality (also known as Barr…

Logic in Computer Science · Computer Science 2026-03-03 Maciej Piróg , Filip Sieczkowski

We describe the canonical weak distributive law $\delta \colon \mathcal S \mathcal P \to \mathcal P \mathcal S$ of the powerset monad $\mathcal P$ over the $S$-left-semimodule monad $\mathcal S$, for a class of semirings $S$. We show that…

Computation and Language · Computer Science 2021-03-30 Filippo Bonchi , Alessio Santamaria

A non-unital generalization of weak bialgebra is proposed with a multiplier-valued comultiplication. Certain canonical subalgebras of the multiplier algebra (named the `base algebras') are shown to carry coseparable co-Frobenius coalgebra…

Quantum Algebra · Mathematics 2013-10-29 Gabriella Böhm , José Gómez-Torrecillas , Esperanza López-Centella

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…

Quantum Algebra · Mathematics 2010-03-03 Craig Pastro , Ross Street

We study finitary 2-categories associated to dual projection functors for finite dimensional associative algebras. In the case of path algebras of admissible tree quivers (which includes all Dynkin quivers of type A) we show that the monoid…

Representation Theory · Mathematics 2017-05-10 Anna-Louise Grensing , Volodymyr Mazorchuk

An n-category is some sort of algebraic structure consisting of objects, morphisms between objects, 2-morphisms between morphisms, and so on up to n-morphisms, together with various ways of composing them. We survey various concepts of…

q-alg · Mathematics 2008-02-03 John C. Baez

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

Algebraic Topology · Mathematics 2014-02-26 Kathryn Hess , Brooke Shipley

We construct an equivalence between the 2-categories VMonCat of rigid V-monoidal categories for a braided monoidal category V and VModTens of oplax braided functors from V into the Drinfeld centers of ordinary rigid monoidal categories. The…

Category Theory · Mathematics 2021-04-19 Zachary Dell

The multipullback quantization of complex projective spaces lacks the naive quantum CW-complex structure because the quantization of an embedding of the $n$-skeleton into the $(n+1)$-skeleton does not exist. To overcome this difficulty, we…

K-Theory and Homology · Mathematics 2022-01-03 Francesco D'Andrea , Piotr M. Hajac , Tomasz Maszczyk , Albert Sheu , Bartosz Zielinski

In this article we extend the theory of lax monoidal structures, also known as multitensors, and the monads on categories of enriched graphs that they give rise to. Our first principal result -- the lifting theorem for multitensors --…

Category Theory · Mathematics 2013-09-18 Michael Batanin , Denis-Charles Cisinski , Mark Weber

Extending previous work, we define monoidal algebraic model structures and give examples. The main structural component is what we call an algebraic Quillen two-variable adjunction; the principal technical work is to develop the category…

Category Theory · Mathematics 2013-02-01 Emily Riehl

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…

Category Theory · Mathematics 2023-12-01 Rina Anno , Sergey Arkhipov , Timothy Logvinenko

Let G be a finite group. Given a finite G-set X and a modular tensor category C, we construct a weak G-equivariant fusion category, called the permutation equivariant tensor category. The construction is geometric and uses the formalism of…

Quantum Algebra · Mathematics 2015-03-14 Till Barmeier , Christoph Schweigert

A categorical model of the multiplicative and exponential fragments of intuitionistic linear logic ($\mathsf{MELL}$), known as a \emph{linear category}, is a symmetric monoidal closed category with a monoidal coalgebra modality (also known…

Logic in Computer Science · Computer Science 2023-06-22 Jean-Simon Pacaud Lemay

We study actions of discrete groups on 2-categories. The motivating examples are actions on the 2-category of representations of finite tensor categories and their relation with the extension theory of tensor categories by groups.…

Quantum Algebra · Mathematics 2017-02-10 Eugenia Bernaschini , César Galindo , Martín Mombelli

Covariant Hom-bimodules are introduced and the structure theory of them in the Hom-setting is studied in a detailed way. The category of bicovariant Hom-bimodules is proved to be a (pre)braided monoidal category and its structure theory is…

Quantum Algebra · Mathematics 2019-05-28 Serkan Karaçuha

Skew-monoidal categories arise when the associator and the left and right units of a monoidal category are, in a specific way, not invertible. We prove that the closed skew-monoidal structures on the category of right R-modules are…

Quantum Algebra · Mathematics 2012-09-03 Kornel Szlachanyi

The category of weight modules $L_k(\mathfrak{sl}_2)\text{-wtmod}$ of the simple affine vertex algebra of $\mathfrak{sl}_2$ at an admissible level $k$ is neither finite nor semisimple and modules are usually not lower-bounded and have…

Representation Theory · Mathematics 2023-11-20 Thomas Creutzig

For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic…

Representation Theory · Mathematics 2014-07-23 Roman Bezrukavnikov , Zhiwei Yun