The notion of a site was introduced by Grothendieck to be able to study sheaves in the étale topology of schemes. The basic reference for this notion is perhaps [SGA4]. Our notion of a site differs from that in [SGA4]; what we call a site is called a category endowed with a pretopology in [Exposé II, Définition 1.3, SGA4]. The reason we do this is that in algebraic geometry it is often convenient to work with a given class of coverings, for example when defining when a property of schemes is local in a given topology, see Descent, Section 34.12. Our exposition will closely follow [ArtinTopologies]. We will not use universes.
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like
$\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.