Sheafifiable homotopy model categories
Tibor Beke
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.
Create a lesson
Related papers
Fiber product of condensable algebras and critical points of boundary phase transitions
Hanlin Lin, Hao Zheng
Tensor triangular geometry of band algebras
Peng Xu
Universal Semisimple Reconstruction and Obstruction Theory
Joe Gildea
Inter-Categorical Subobject Analysis
Alexander Prähauser
How protomodular is your favourite category?
Maria Manuel Clementino, Diana Rodelo
Cocompletion under sifted colimits need not be finitely accessible
Yuto Kawase