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

monadsweak equivalencesalgebraic injectives

Mathematics Subject Classification ID

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

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.

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

• 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?)
• A Quillen model structure for 2-categories
• A Quillen model structure for Gray-categories
• A Quillen model structure for bicategories
• A cubical model of homotopy type theory
• A folk model structure on omega-cat
• A necessary and sufficient condition for induced model structures
• 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
• 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)

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

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)