pith. sign in

arxiv: math/0102087 · v1 · submitted 2001-02-11 · 🧮 math.CT · math.AT

Sheafifiable homotopy model categories

Tibor Beke This is my paper
classification 🧮 math.CT math.AT
keywords categoryquillenmodelcategoriesadjunctionsalgebraicaxiomscertain
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Entanglement of Sections: The pushout of entangled and parameterized quantum information

    quant-ph 2023-09 unverdicted novelty 6.0

    The pushout of entangled and parameterized quantum information in monoidal categories yields the external tensor product on flat K-theory bundles.