One topos, many sites
Category Theory
2013-04-26 v1 Logic
Abstract
We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (resp. connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple sites of definition for a given topos to establish some properties of quotients of theories of presheaf type.
Cite
@article{arxiv.0907.2361,
title = {One topos, many sites},
author = {Olivia Caramello},
journal= {arXiv preprint arXiv:0907.2361},
year = {2013}
}
Comments
19 pages