Fibrations and Calculi of Fractions

Jaap van Oosten

Abstract


Given a fibration E -> B and a class Sigma of arrows of B, one can construct the free fibration (on E over B such that all reindexing functors over elements of Sigma are equivalences.

In this work I give an explicit construction of this, and study its properties. For example, the construction preserves the property of being fibrewise discrete, and it commutes up to equivalence with fibrewise exact completions. I show that mathematically interesting situations are examples of this construction. In particular, subtoposes of the effective topos are treated.

Full Text:

PDF


DOI: http://dx.doi.org/10.7146/brics.v1i37.21606
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK


ISSN: 0909-0878 

Hosted by the Royal Danish Library and Aarhus University Library