English
Related papers

Related papers: Skew monoidal monoids

200 papers

We define a notion of symmetric monoidal closed (SMC) theory, consisting of a SMC signature augmented with equations, and describe the classifying categories of such theories in terms of proof nets.

Logic in Computer Science · Computer Science 2009-06-08 Richard Garner , Tom Hirschowitz , Aurélien Pardon

We prove that the category of cocommutative bialgebras in any symmetric monoidal category (that has equalizers) is an S-protomodular category with respect to a particular class of split extensions of cocommutative bialgebras. We also obtain…

Category Theory · Mathematics 2022-01-19 Sterck Florence

Let $\mathcal{C}$ be a small category. We investigate ringed sites $(\mathbf{C},\mathfrak{R})$ on $\mathcal{C}$ and the resulting module categories $\mathfrak{M}{\rm od}\text{-}\mathfrak{R}$. When $\mathcal{C}$ is finite, based on…

Representation Theory · Mathematics 2023-05-09 Mawei Wu , Fei Xu

We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…

Algebraic Topology · Mathematics 2017-09-01 Bertrand Guillou , J. P. May , Jonathan Rubin

We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.

Category Theory · Mathematics 2007-05-23 Phung Ho Hai

In general, universal (co)measuring (co)monoids and universal (co)acting bi/Hopf monoids, which prove to be a useful tool in the classification of quantum symmetries, do not always exist. In order to ensure their existence, the support of a…

Category Theory · Mathematics 2025-07-11 Ana Agore , Alexey Gordienko , Joost Vercruysse

We give two presentations for bordisms of $S^2$ in the 3-dimensional oriented bordism category $\operatorname{Cob}(3) $, encoding the algebraic structures on $S^2$. After passing through topological field theories, we define two kinds of…

Algebraic Topology · Mathematics 2026-05-21 Chris Li

In this article we further the study of non-commutative motives. Our main result is the construction of a symmetric monoidal structure on the localizing motivator Mot of dg categories. As an application, we obtain : (1) a computation of the…

K-Theory and Homology · Mathematics 2010-02-03 Denis-Charles Cisinski , Goncalo Tabuada

We describe a perfect correspondence between skew monoidal categories and certain generalised multicategories, called skew multicategories, that arise in nature.

Category Theory · Mathematics 2019-07-08 John Bourke , Stephen Lack

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 develop a ready-to-use comprehensive theory for (super) 2-vector bundles over smooth manifolds. It is based on the bicategory of (super) algebras, bimodules, and intertwiners as a model for 2-vector spaces. We discuss symmetric monoidal…

Differential Geometry · Mathematics 2022-09-12 Peter Kristel , Matthias Ludewig , Konrad Waldorf

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…

Category Theory · Mathematics 2016-08-22 Michael Stay

It is well known that the category of Gray-categories does not admit a monoidal biclosed structure that models weak higher-dimensional transformations. In this paper, the first of a series on the topic, we describe several skew monoidal…

Category Theory · Mathematics 2023-11-10 John Bourke , Gabriele Lobbia

The stable category of modules over the algebra of a finite group with coefficients in a field is a compactly generated tensor triangulated category, that has been studied extensively in representation theory. In this paper, we provide a…

Representation Theory · Mathematics 2025-10-28 Ioannis Emmanouil , Olympia Talelli

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,…

Category Theory · Mathematics 2022-01-12 Alessandro Ardizzoni , Isar Goyvaerts , Claudia Menini

The present article is devoted to introduce the notion of Hopf bracoid in the braided monoidal framework as the quantum version of skew bracoids, which have been presented by Martin-Lyons and Paul J. Truman. Taking into account that Hopf…

Rings and Algebras · Mathematics 2025-04-08 José Manuel Fernández Vilaboa , Ramón González Rodríguez , Brais Ramos Pérez

We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects…

Quantum Algebra · Mathematics 2007-05-23 Viktor Ostrik

Shuffle algebras are monoids for an unconvential monoidal category structure on graded vector spaces. We present two homological results on shuffle algebras with monomial relations, and use them to prove exact and asymptotic results on…

Combinatorics · Mathematics 2017-02-16 Vladimir Dotsenko , Anton Khoroshkin

Given a unital action $\theta $ of an inverse monoid $S$ on an algebra $A$ over a filed $K$ we produce (co)homology spectral sequences which converge to the Hochschild (co)homology of the crossed product $A\rtimes_\theta S$ with values in a…

Rings and Algebras · Mathematics 2026-02-24 Mikhailo Dokuchaev , Mykola Khrypchenko , Juan Jacobo Simón

Let $H$ be a finite dimensional quasi-Hopf algebra over a field $k$ and ${\mathfrak A}$ a right $H$-comodule algebra in the sense of Hausser and Nill. We first show that on the $k$-vector space ${\mathfrak A}\ot H^*$ we can define an…

Quantum Algebra · Mathematics 2007-05-23 D. Bulacu , S. Caenepeel