Hostname: page-component-cd9895bd7-jkksz Total loading time: 0 Render date: 2024-12-26T12:51:09.763Z Has data issue: false hasContentIssue false

Sheafifiable homotopy model categories

Published online by Cambridge University Press:  17 January 2001

TIBOR BEKE
Affiliation:
Mathematical Institute, Utrecht University, Utrecht, The Netherlands; e-mail: [email protected]

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.

Type
Research Article
Copyright
© 2000 Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)