English
Related papers

Related papers: Skew-monoidal categories and bialgebroids

200 papers

In this note, we define an analogue of R-matrices for bialgebras in the setting of a monad that is opmonoidal over two tensor products. Analogous to the classical case, such structures bijectively correspond to duoidal structures on the…

Category Theory · Mathematics 2025-03-06 Tony Zorman

This article consists of an interesting characterisation of a skew monoidale in the monoidal bicategory $Span$. After discussing the shift or decalage functor on simplicial sets we characterise these skew monoidales as categories $\mathbb…

Category Theory · Mathematics 2016-03-29 Jim Andrianopoulos

Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…

Category Theory · Mathematics 2024-12-12 Luca Terenzi

We give a 3-categorical, purely formal argument explaining why on the category of Kleisli algebras for a lax monoidal monad, and dually on the category of Eilenberg-Moore algebras for an oplax monoidal monad, we always have a natural…

Category Theory · Mathematics 2010-12-03 Marek Zawadowski

Szlach\'anyi's skew monoidal categories are a well-motivated variation of monoidal categories in which the unitors and associator are not required to be natural isomorphisms, but merely natural transformations in a particular direction. We…

Logic in Computer Science · Computer Science 2020-03-12 Tarmo Uustalu , Niccolò Veltri , Noam Zeilberger

Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of…

Rings and Algebras · Mathematics 2011-05-05 A. Ardizzoni , L. El Kaoutit , C. Menini

In the paper "Triangulations, orientals, and skew monoidal categories", the free monoidal category Fsk on a single generating object was described. We sharpen this by giving a completely explicit description of Fsk, and so of the free skew…

Category Theory · Mathematics 2023-08-17 John Bourke , Stephen Lack

We present a construction of skew monoidal structures from strong actions. We prove that the existence of a certain adjoint allows one to equip the actegory with a skew monoidal structure and that this adjunction becomes monoidal. This…

Category Theory · Mathematics 2025-10-21 Pavla Procházková

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…

Category Theory · Mathematics 2010-11-23 D. Bulacu , S. Caenepeel

We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…

Category Theory · Mathematics 2021-02-16 Steven V Sam , Andrew Snowden

I motivate a variation (due to K. Szlach\'{a}nyi) of monoidal categories called skew-monoidal categories where the unital and associativity laws are not required to be isomorphisms, only natural transformations. Coherence has to be…

Logic in Computer Science · Computer Science 2014-08-26 Tarmo Uustalu

The skew monoidal categories of Szlach\'anyi are a weakening of monoidal categories where the three structural laws of left and right unitality and associativity are not required to be isomorphisms but merely transformations in a particular…

Logic in Computer Science · Computer Science 2021-01-27 Tarmo Uustalu , Niccolò Veltri , Noam Zeilberger

Certain aspects of Street's formal theory of monads in 2-categories are extended to multimonoidal monads in symmetric strict monoidal 2-categories. Namely, any symmetric strict monoidal 2-category $\mathcal M$ admits a symmetric strict…

Category Theory · Mathematics 2019-04-12 Gabriella Böhm

The category $_{A}\mathbb{S}_{A}$ of bisemimodules over a semialgebra $A,$ with the so called Takahashi's tensor product $-\boxtimes_{A}-,$ is semimonoidal but not monoidal. Although not a unit in $_{A}\mathbb{S}%_{A},$ the base semialgebra…

Category Theory · Mathematics 2013-01-25 Jawad Abuhlail

Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced…

Quantum Algebra · Mathematics 2014-11-19 Gabriella Böhm , Stephen Lack

Spurred by the new examples found by Kornel Szlach\'anyi of a form of lax monoidal category, the author felt the time ripe to publish a reworking of Eilenberg-Kelly's original paper on closed categories appropriate to the laxer context. The…

Category Theory · Mathematics 2012-09-04 Ross Street

We study the classification of submodules of module categories over monoidal categories, extending ideas of Coulembier on the classification of tensor ideals in monoidal categories. We develop a framework that applies to module categories…

Representation Theory · Mathematics 2026-03-20 Hadi Salmasian , Alistair Savage , Yaolong Shen

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…

Category Theory · Mathematics 2025-11-25 Joaquim Reizi Higuchi

Based on the novel notion of `weakly counital fusion morphism', regular weak multiplier bimonoids in braided monoidal categories are introduced. They generalize weak multiplier bialgebras over fields and multiplier bimonoids in braided…

Category Theory · Mathematics 2019-07-08 Gabriella Böhm , José Goméz-Torrecillas , Stephen Lack

In many situations one encounters an entity that resembles a monoid. It consists of a carrier and two operations that resemble a unit and a multiplication, subject to three equations that resemble associativity and left and right unital…

Category Theory · Mathematics 2025-12-05 Paul Blain Levy , Morgan Rogers