Class-combinatorial model categories

DOI10.4310/HHA.2012.V14.N1.A13MaRDI QIDQ426724zbMATH OpenOpenAlexFDO

Authors Boris Chorny, Jiří Rosický

Publication date 12 June 2012

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

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

zbMATH Keywords

class-cofibrantly generatedcombinatorial model categorieshomotopical algebralocalizationmodel category

Mathematics Subject Classification ID

Localization and completion in homotopy theory (55P60)

Abstract: We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The definition of the new class of model categories is based on the corresponding extension of the theory of locally presentable and accessible categories developed in the companion paper [arXiv:1110.0605], where we introduced the concepts of locally class-presentable and class-accessible categories. In this work we prove that the category of weak equivalences of a nice class-combinatorial model category is class-accessible. Our extension of J. Smith localization theorem depends on the verification of a cosolution-set condition. The deepest result is that the (left Bousfield) localization of a class-combinatorial model category with respect to a strongly class-accessible localization functor is class-combinatorial again.

Review text

Combinatorial model categories, introduced in the 1990s, have become a standard tool of homotopical algebra. A model category is \textit{combinatorial} if it is locally presentable as a category and its model category structure is cofibrantly generated. Although of great utility, there are examples of model categories that are extremely useful for applications, but are not combinatorial. (Isaksen gave important non-cofibrantly generated model structures on categories of pro-spaces and ind-spaces, for instance, and studies of the Goodwillie calculus in terms of model categories requires study of small functors defined on large categories and that again is not cofibrantly generated.)NEWLINENEWLINEIn this paper, the authors propose a framework extending that of combinatorial model categories, so that categories of small simplicial presheaves on large categories and ind-categories of model categories would become examples of these newly defined class-combinatorial model categories. (A pre-requisite for understanding this paper is a companion paper by the same authors on class-locally presentable and class-accessible categories.) A \textit{class-combinatorial model category} is class-locally presentable and class-cofibrantly generated. These generalizations are effectuated by keeping close control of the `size' of the objects and morphisms involved in the constructions. One of the main results is that the left Bousfield localization of a class-combinatorial model category with respect to a strongly class-accessible localization functor is once again class-combinatorial.

Recommendations

• Combinatorial and accessible weak model categories
• On combinatorial model categories
• Combinatorial model categories have presentations
• The accessibility rank of weak equivalences
• Class-locally presentable and class-accessible categories

Cited in

(16)

• Class-locally presentable and class-accessible categories
• Homotopy theory of relative simplicial presheaves
• Cellular categories
• Kingman, category and combinatorics
• The heart of a combinatorial model category
• Are all cofibrantly generated model categories combinatorial?
• Combinations related to classes of finite and countably categorical structures and their theories
• Arrow categories of monoidal model categories
• The accessibility rank of weak equivalences
• Remarks on combinatorial and accessible model categories
• Combinatorial model categories have presentations
• A variant of a Dwyer-Kan theorem for model categories
• Cubical approximation for directed topology. II
• Combinatorial model categories are equivalent to presentable quasicategories
• On combinatorial model categories
• Duality and small functors

This page was built for publication: Class-combinatorial model categories

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