Equipping weak equivalences with algebraic structure

DOI10.1007/S00209-019-02305-WMaRDI QIDQ2305674zbMATH OpenOpenAlexWikidataFDO

Authors John Bourke

Publication date 11 March 2020

Published in Mathematische Zeitschrift (Search for Journal in Brave)

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

zbMATH Keywords

algebraic injectivesmonadsweak equivalences

Mathematics Subject Classification ID

Accessible and locally presentable categories (18C35) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure if and only it is a weak homotopy equivalence. Likewise for quasi-isomorphisms and many other examples. The basic trick is to consider injectivity in arrow categories. Using algebraic injectivity and cone injectivity we obtain general results about the extent to which the weak equivalences in a combinatorial model category can be equipped with algebraic structure.

Review text

In the paper under review the author analyzes the extent to which the weak equivalences in a (cofibrantly generated) model category can be made algebraic. The key point is to consider injectivity in arrow categories. In this sense the author first provides several examples of model categories where the weak equivalences can be described as injectives in the arrow category. Then, in such examples it is found a certain monad \(T\) on the arrow category such that a morphism is a \(T\)-algebra if and only if it is a weak equivalence. Within the setting of a combinatorial model category the author proves that the class of weak equivalences can be made algebraic if and only if it is stable under infinite products. Using a certain generalization of injectivity and monads, namely cone injectivity and multimonads, it is also given a description of the algebraic structure endured by weak equivalences in a combinatorial model category. Finally, the author proves that the category of algebraically fibrant objects in a combinatorial model category admits a transferred model structure equivalent to the original one. Some interesting consequences are also given.

Recommendations

• On Morita weak equivalences of simplicial algebraic theories and operads
• Algebraically cofibrant and fibrant objects revisited
• Props in model categories and homotopy invariance of structures
• Coalgebraic models for combinatorial model categories
• Algebraic models for higher categories

Cites work

• A cubical model of homotopy type theory
• A folk model structure on omega-cat
• A necessary and sufficient condition for induced model structures
• A Quillen model structure for 2-categories
• A Quillen model structure for bicategories
• A Quillen model structure for Gray-categories
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Accessible Categories: The Foundations of Categorical Model Theory
• Algebraic model structures
• Algebraic models for higher categories
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Algebraic weak factorisation systems. II: Categories of weak maps.
• Categorical constructions of free algebras, colimits, and completions of partial algebras
• Categories localement multipresentables
• Homotopical algebra
• Homotopy-theoretic aspects of 2-monads
• scientific article; zbMATH DE number 3577258 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 2144706 (Why is no real title available?)
• scientific article; zbMATH DE number 269628 (Why is no real title available?)
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Multimonads and multimonadic categories
• On c.s.s. Complexes
• On combinatorial model categories
• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• Sheafifiable homotopy model categories
• Simplicial homotopy theory
• Some spectra relative to functors
• The Brown-Golasiński model structure on strict -groupoids revisited
• The Frobenius condition, right properness, and uniform fibrations
• Topological and simplicial models of identity types
• Understanding the small object argument

Cited in

(10)

• Adjoint functor theorems for homotopically enriched categories
• Tietze equivalences as weak equivalences
• Accessible aspects of 2-category theory
• Homotopy types of abstract elementary classes
• Algebraically cofibrant and fibrant objects revisited
• Weak model categories in classical and constructive mathematics
• Minimal accessible categories
• An interpretation of dependent type theory in a model category of locally cartesian closed categories
• Iterated algebraic injectivity and the faithfulness conjecture
• Injective types in univalent mathematics

This page was built for publication: Equipping weak equivalences with algebraic structure

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