Monoidal algebraic model structures

DOI10.1016/J.JPAA.2012.09.029MaRDI QIDQ2376561zbMATH OpenOpenAlexFDO

Authors Emily Riehl

Publication date 24 June 2013

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1109.2883

zbMATH Keywords

algebraic model categoriesmonoidal model categories

Mathematics Subject Classification ID

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: 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 theory necessary to characterize them. Our investigations reveal an important role played by "cellularity" - loosely, the property of a cofibration being a relative cell complex, not simply a retract of such - which we particularly emphasize. A main result is a simple criterion which shows that algebraic Quillen two-variable adjunctions correspond precisely to cell structures on the pushout-products of generating (trivial) cofibrations. As a corollary, we discover that the familiar monoidal model structures on categories and simplicial sets admit this extra algebraic structure.

Review text

In earlier work, the author defined the notion of algebraic model category. Using an alternative perspective on the small object argument as developed by Garner, this approach clarifies many of the categorical properties possessed by a model category. Although many model structures used in practice are not defined in this way, they can in fact be shown to be algebraic. In the current paper, the author develops the theory further by introducing monoidal algebraic model categories. Here the underlying category has a monoidal structure which is compatible with the model structure via a pushout-product axiom. Developing the formulation of this axiom in the algebraic context turns out to require an investigation of the notion of cellularity in an algebraic model structure. The standard model structures on the categories of small categories and simplicial sets are shown to be monoidal algebraic model categories. Furthermore, the author emphasizes that this work enables one to consider enriched algebraic model structures, the subject of a future work.

Recommendations

• Monoidal structures
• Algebras and Modules in Monoidal Model Categories
• Algebraic model structures
• Model structures on commutative monoids in general model categories
• Monadic EQ-algebras
• Monadic basic algebras
• Model structures for coalgebras
• scientific article; zbMATH DE number 1302502
• Modules in monoidal model categories
• A case of monoidal uniqueness of algebraic models

Cites work

• V-Cat is locally presentable or locally bounded if V is so
• Adjoint Lifting Theorems for Categories of Algebras
• Algebraic model structures
• Categories of continuous functors. I
• Comparing composites of left and right derived functors
• Cyclic multicategories, multivariable adjunctions and mates
• Elementary observations on 2-categorical limits
• Homotopical algebra
• Homotopy-theoretic aspects of 2-monads
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 5219541 (Why is no real title available?)
• More concise algebraic topology. Localization, completion, and model categories
• Natural weak factorization systems.
• On the construction of functorial factorizations for model categories
• Simplicial homotopy theory
• Understanding the small object argument

Cited in

(10)

• The Frobenius condition, right properness, and uniform fibrations
• Model \(\infty\)-categories. II: Quillen adjunctions
• Cyclic multicategories, multivariable adjunctions and mates
• Semantics of higher inductive types
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• Arrow categories of monoidal model categories
• Algebraic model structures
• The equivariant model structure on cartesian cubical sets
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Algebraic weak factorisation systems. II: Categories of weak maps.

This page was built for publication: Monoidal algebraic model structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376561)