English
Related papers

Related papers: Monoidal categories graded by partial commutative …

200 papers

It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We…

Quantum Algebra · Mathematics 2018-04-09 T. A. N. Weelinck

We introduce semidirect products of skew monoidal categories as a categorification of semidirect products of monoids (or, perhaps more familiarly, of groups). We also discuss how this construction interacts with monoidal, autonomous and…

Category Theory · Mathematics 2016-07-05 Ben Fuller

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

In his book on model categories, Hovey asked whether the 2-category $\mathbf{Mod}$ of model categories admits a "model 2-category structure" whose weak equivalences are the Quillen equivalences. We show that $\mathbf{Mod}$ does not have…

Category Theory · Mathematics 2020-04-28 Reid William Barton

We describe a general framework for notions of commutativity based on enriched category theory. We extend Eilenberg and Kelly's tensor product for categories enriched over a symmetric monoidal base to a tensor product for categories…

Category Theory · Mathematics 2016-01-07 Richard Garner , Ignacio López Franco

In the field of categorical probability, one uses concepts and techniques from category theory, such as monads and monoidal categories, to study the structures of probability and statistics. In this paper, we connect some ideas from…

Category Theory · Mathematics 2025-02-24 Mika Bohinen , Paolo Perrone

In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to…

Quantum Algebra · Mathematics 2007-05-23 Per K. Jakobsen , Valentin Lychagin

We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any…

Category Theory · Mathematics 2020-01-16 Michael Lieberman , Leonid Positselski , Jiri Rosicky , Sebastien Vasey

We provide an explicit and elementary construction of the Morita $(\infty,2)$-category of a monoidal category which satisfies minimal conditions. We construct it as a $3$-coskeletal $2$-complicial set, in which the vertices encode the…

Category Theory · Mathematics 2025-09-29 Arghan Dutta , Stefano Luneia , Martina Rovelli , Sam Silver

In this document, we collect a list of categorical structures on the category $\mathbf{Poly}$ of polynomial functors. There is no implied claim that this list is in any way complete. It includes: infinitely many monoidal structures, all but…

Category Theory · Mathematics 2025-09-29 David I. Spivak

We denote the monoidal bicategory of two-sided modules (also called profunctors, bimodules and distributors) between categories by $\mathrm{Mod}$; the tensor product is cartesian product of categories. For a groupoid $\scr{G}$, we study the…

Category Theory · Mathematics 2022-06-22 Branko Nikolić , Ross Street

We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need…

Algebraic Topology · Mathematics 2017-09-21 Bruno Stonek

The monoidal version of classical Morita theory is a theory of bialgebroids. To make this explicit we construct a bicategory the objects of which are the bialgebroids and in which equivalence of objects means that the corresponding module…

Quantum Algebra · Mathematics 2007-05-23 K. Szlachanyi

We produce graded monoidal categorifications of the quantum boson algebras in any symmetrizable Kac-Moody type. Our categories are defined in terms of diagrammatic generators and relations and have a faithful 2-representation on…

Quantum Algebra · Mathematics 2025-09-16 Sam Qunell

Algebraic structures in which the property of commutativity is substituted by the mediality property are introduced. We consider (associative) graded algebras and instead of almost commutativity (generalized commutativity or…

Rings and Algebras · Mathematics 2021-07-26 Steven Duplij

This paper gives an explicit description of the categorical operad whose algebras are precisely symmetric monoidal categories. This allows us to place the operad in a sequence of four, and therefore a sequence of four successively stricter…

Category Theory · Mathematics 2023-05-26 A. D. Elmendorf

We propose a recursive definition of V-n-categories and their morphisms. We show that for V k-fold monoidal the structure of a (k-n)-fold monoidal strict (n+1)-category is possessed by V-n-Cat. This article is a completion of the work begun…

Category Theory · Mathematics 2007-05-23 Stefan Forcey

In this paper, we state the notion of morphisms in the category of abelian crossed modules and prove that this category is equivalent to the category of strict Picard categories and regular symmetric monoidal functors. The theory of…

Group Theory · Mathematics 2013-09-13 Nguyen Tien Quang , Che Thi Kim Phung , Ngo Sy Tung

We examine the periodic table of weak n-categories for the low-dimensional cases. It is widely understood that degenerate categories give rise to monoids, doubly degenerate bicategories to commutative monoids, and degenerate bicategories to…

Category Theory · Mathematics 2007-08-10 Eugenia Cheng , Nick Gurski

It is a well-known fact that the category $\mathsf{Cat}(\mathbf{C})$ of internal categories in a category $\mathbf{C}$ has a description in terms of crossed modules, when $\mathbf{C}=\mathbf{Gr}$ is the category of groups. The proof of this…

Category Theory · Mathematics 2024-01-04 Ilia Pirashvili