Internal geometry and functors between sites

Abstract

Locality is implemented in an arbitrary category using Grothendieck topologies. We explore how different Grothendieck topologies on one category can be related, and, more general, how functors between categories can preserve them. As applications of locality, we review geometric objects such as sheaves, groupoids, functors, bibundles, and anafunctors internal to an arbitrary Grothendieck site. We give definitions such that all these objects are invariant under equivalences of Grothendieck topologies and certain functors between sites. As examples of sites, we look at categories of smooth manifolds, diffeological spaces, topological spaces, and sheaves, and we study properties of various functors between those.