model category, model -category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of -categories
Model structures
for -groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant -groupoids
for rational -groupoids
for rational equivariant -groupoids
for -groupoids
for -groups
for -algebras
general -algebras
specific -algebras
for stable/spectrum objects
for -categories
for stable -categories
for -operads
for -categories
for -sheaves / -stacks
A cartesian model category (alias cartesian closed model category) is a cartesian closed category that is equipped with the structure of a monoidal model category in a compatible way, which combines the axioms for a monoidal model category and an enriched model category.
A cartesian closed model category (following Rezk 09, 2.2 and Simpson 12) is
equipped with a model category-structure
that satisfies
the following equivalent axioms:
For and cofibrations, the induced morphism
is a cofibration that is a weak equivalence if at least one of or is;
For a cofibration and a fibration, the induced morphism
is a fibration, and a weak equivalence if at least one of or is.
the unit axiom:
The terminal object is cofibrant.
Cartesian monoidal model categories include:
the standard Quillen model structure on topological spaces on compactly generated weakly Hausdorff topological spaces
(see there)
the fine model structure on topological G-spaces
(see there)
the canonical model structure on categories (and that on groupoids)
(see there)
the model structure for complete Segal spaces
(see there)
the model structure for Theta-spaces
(see there)
cartesian closed category, locally cartesian closed category
cartesian closed (∞,1)-categorylocally cartesian closed (∞,1)-category
Charles Rezk, A cartesian presentation of weak -categories, Geom. Topol. 14(1): 521-571 (2010). (arXiv:0901.3602, doi:10.2140/gt.2010.14.521)
Carlos Simpson, Chapter 10 of: Homotopy Theory of Higher Categories, Cambridge University Press 2011 (hal:00449826, ISBN:9780521516952)
Last revised on November 1, 2023 at 16:56:50. See the history of this page for a list of all contributions to it.