We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: Relative topos theory via stacks

Abstract: We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of ${\mathcal{C}}$-indexed categories. This represents a wide generalization of the classical adjunction between presheaves on a topological space and bundles over it, and allows one to interpret several constructions on sheaves and stacks in a geometrical way; in particular, it leads to fibrational descriptions of direct and inverse images of sheaves and stacks, as well as to a geometric understanding of the sheafification process. It also naturally allows one to regard any Grothendieck topos as a 'petit' topos associated with a 'gros' topos, thereby providing an answer to a problem posed by Grothendieck in the seventies. Another key ingredient in our theory is a notion of relative site, which allows one to represent arbitrary geometric morphisms towards a fixed base topos of sheaves on a site as structure morphisms induced by relative sites over that site.
Comments: 204 pages
Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT)
MSC classes: 18B25, 03G30, 18C10
Cite as: arXiv:2107.04417 [math.AG]
  (or arXiv:2107.04417v1 [math.AG] for this version)

Submission history

From: Olivia Caramello Dr [view email]
[v1] Fri, 9 Jul 2021 13:04:35 GMT (156kb,D)

Link back to: arXiv, form interface, contact.