Sheafifiable homotopy model categories

Abstract

If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site is a purely formal consequence of their being satisfied over the category of sets. Such data give rise to a functor from the category of topoi and geometric morphisms to Quillen model categories and Quillen adjunctions.

30 pages

Cited by in corpus (62)

• Triangulated categories of mixed motives
• Dendroidal sets and simplicial operads
• Model Structures on Commutative Monoids in General Model Categories
• Homotopy limits and colimits and enriched homotopy theory
• Cofibrations in Homotopy Theory
• Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories
• A convenient category for directed homotopy
• Local duality in algebra and topology
• Locally constant functors
• On (Enriched) Left Bousfield Localization of Model Categories
• Comparing composites of left and right derived functors
• Mapping spaces in Quasi-categories
• Morita theory in abelian, derived and stable model categories
• Locally class-presentable and class-accessible categories
• 1-motivic sheaves and the Albanese functor
• Forking independence from the categorical point of view
• Combinatorics of labelling in higher dimensional automata
• All $(\infty ,1)$-toposes have strict univalent universes
• Homotopical interpretation of globular complex by multipointed d-space
• Locally projective monoidal model structure for complexes of quasi-coherent sheaves on P^1(k)
• Derived, coderived, and contraderived categories of locally presentable abelian categories
• The Brown-Golasinski model structure on strict $\infty$-groupoids revisited
• Left Bousfield localization without left properness
• Flat vs. filtered colimits in the enriched context
• Accessible aspects of 2-category theory
• Covers and direct limits: a contramodule-based approach
• Flow does not model flows up to weak dihomotopy
• A criterion for existence of right-induced model structures
• Periodic twisted cohomology and T-duality
• Weak complicial sets, a simplicial weak omega-category theory. Part I: basic homotopy theory
• Godement resolutions and sheaf homotopy theory
• Inverting weak dihomotopy equivalence using homotopy continuous flow
• The $\mathbb{R}$-Local Homotopy Theory of Smooth Spaces
• Algebraic and topological aspects of the schematization functor
• Scalar extensions of derived categories and non-Fourier-Mukai functors
• Simplicial presheaves of coalgebras
• Chern class and Riemann-Roch theorem for cohomology theory without homotopy invariance
• Coderived and contraderived categories of locally presentable abelian DG-categories
• Equivariant dendroidal Segal spaces and $G$-$\infty$-operads
• T-motives
• Towards a Thomason model structure on the category of strict n-categories
• Sheaves of ordered spaces and interval theories
• Equivariant dendroidal sets and simplicial operads
• A monoidal algebraic model for rational SO(2)-spectra
• Left determined model categories
• The homotopy theory of equivalence relations
• Torsion and torsion-free classes from objects of finite type in Grothendieck categories
• Towers and fibered products of model structures
• Bousfield localisations along Quillen bifunctors
• A Quillen Model Structure Approach to the Finitistic Dimension Conjectures
• Unstable independence from the categorical point of view
• A Quillen Approach to Derived Categories and Tensor Products
• Combinatorial model categories are equivalent to presentable quasicategories
• On $2$-categorical $\infty$-cosmoi
• Minimal model structures
• Closed models, strongly connected components and Euler graphs
• On the additivity of geometric invariants in Grothendieck categories
• Abstract homotopical methods for theoretical computer science
• Model structures on the category of complexes of quiver representations
• Comparison Between Different Topological Models of Concurrency
• Rational local systems and connected finite loop spaces
• Bousfield localisation and colocalisation of one-dimensional model structures