No CrossRef data available.
Published online by Cambridge University Press: 17 April 2009
Given a site T, that is, a category equipped with a fixed Grothendieck topology, we provide a definition of fibration for morphisms of the presheaves on T. We verify that the notion is well-behaved with respect to composition, base change, and exponentiation, and is trivial on the topos of sheaves. We compare our definition to that of Kan fibration in the semi-simplicial setting. Also we show how we can obtain a notion of fibration on our ground site T and investigate the resulting notion in certain ring-theoretic situations.