English
Related papers

Related papers: Monoidal algebraic model structures

200 papers

In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…

Category Theory · Mathematics 2023-05-25 Nicolas Blanco

We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…

Combinatorics · Mathematics 2021-08-12 Eric Marberg

Let $G$ be a simple, simply connected, simply laced algebraic group. We construct a monoidal category of representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ whose Grothendieck ring contains a cluster algebra with…

Representation Theory · Mathematics 2026-05-26 Yingjin Bi

A linear Gr-category is a category of finite-dimensional vector spaces graded by a finite group together with natural tensor product. We classify the braided monoidal structures of a class of linear Gr-categories via explicit computations…

Quantum Algebra · Mathematics 2014-05-19 Hua-Lin Huang , Gongxiang Liu , Yu Ye

The notion of the center of an algebra over a field k has a far reaching generalization to algebras in monoidal categories. The center then lives in the monoidal center of the original category. This generalization plays an important role…

Quantum Algebra · Mathematics 2016-12-28 Alexei Davydov , Liang Kong , Ingo Runkel

In this article, we construct a cofibrantly generated Quillen model structure on the category of small topological categories $\mathbf{Cat}_{\mathbf{Top}}$. It is Quillen equivalent to the Joyal model structure of $(\infty,1)$-categories…

Algebraic Topology · Mathematics 2011-10-13 Ilias Amrani

Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a…

Logic in Computer Science · Computer Science 2023-11-03 Dusko Pavlovic , Muzamil Yahia

By using the Dold-Kan correspondence we construct a Quillen adjunction between the model categories of non-cocommutative coassociative simplicial and differential graded coalgebras over a field. We restrict to categories of connected…

Category Theory · Mathematics 2015-06-02 Hermann Soré

We study weak commutative algebras in a symmetric monoidal model category $\mathscr{M}$. We provide a model structure on these algebras for any symmetric monoidal model category that is combinatorial and left proper. Our motivation was to…

Algebraic Topology · Mathematics 2014-06-05 Hugo V. Bacard

We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…

Category Theory · Mathematics 2012-08-24 Eugenia Cheng , Nick Gurski , Emily Riehl

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…

K-Theory and Homology · Mathematics 2013-07-23 J. Daniel Christensen , Mark Hovey

In this paper we obtain several model structures on {\bf DblCat}, the category of small double categories. Our model structures have three sources. We first transfer across a categorification-nerve adjunction. Secondly, we view double…

Algebraic Topology · Mathematics 2014-10-01 Thomas M. Fiore , Simona Paoli , Dorette A. Pronk

Diagrammatic sets are presheaves on a rich category of shapes, whose definition is motivated by combinatorial topology and higher-dimensional diagram rewriting. These shapes include representatives of oriented simplices, cubes, and positive…

Algebraic Topology · Mathematics 2024-07-16 Clémence Chanavat , Amar Hadzihasanovic

In this paper we define Martin-L\"{o}f complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intensional Martin-L\"{o}f type theory. We then study the…

Logic · Mathematics 2012-05-25 Steve Awodey , Pieter Hofstra , Michael A. Warren

We consider algebras and Frobenius algebras, internal to a monoidal category, that are graded over a finite abelian group. For the case that A is a twisted group algebra in a linear abelian monoidal category we obtain a graded…

Quantum Algebra · Mathematics 2025-06-06 Jürgen Fuchs , Tobias Grøsfjeld

In this paper, we study the category $C(Rep(\mathcal{Q}, \mathcal{A}))$ of complexes of representations of quiver $\mathcal{Q}$ with values in an abelian category $\mathcal{A}$. We develop a method for constructing some model structures on…

Representation Theory · Mathematics 2024-05-20 Payam Bahiraei

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…

Quantum Algebra · Mathematics 2012-04-17 Mitya Boyarchenko , Vladimir Drinfeld

We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear exponential comonad, as considered in the study of linear logic, and of a codereliction transformation,…

Category Theory · Mathematics 2025-09-17 M. Fiore , N. Gambino , M. Hyland

In [BaSc2], the author and Tomer Schlank introduced a much weaker homotopical structure than a model category, which we called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way…

Algebraic Topology · Mathematics 2016-10-31 Ilan Barnea

If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site…

Category Theory · Mathematics 2009-11-07 Tibor Beke