pith. sign in

Sheafifiable homotopy model categories

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
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.

citation-role summary

background 1

citation-polarity summary

fields

quant-ph 1

years

2023 1

verdicts

UNVERDICTED 1

roles

background 1

polarities

background 1

representative citing papers

citing papers explorer

Showing 1 of 1 citing paper.