Example 7.6.6. Let $\mathcal{C}$ be a category. There is a canonical way to turn this into a site where $\{ f : V \to U \mid f\text{ is an isomorphism}\}$ are the coverings of $U$. Sheaves on this site are the presheaves on $\mathcal{C}$. This corresponding topology is called the chaotic or indiscrete topology.

Comment #5500 by Tim Holzschuh on

I think one needs to choose all sets of isomorphisms $V \to U$ as coverings, right?

Comment #5701 by on

OMG, thanks very much! This is yet another mistake I made early on with the material on sites. The change is here.

There are also:

• 2 comment(s) on Section 7.6: Sites

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).