 Giraud's theorem already gives "sheaves on sites" as a complete list of examples.Note, however, that nonequivalent sites often give
rise to equivalent topoi.As indicated in the introduction, sheaves on ordinary topological spaces motivate many of the basic definitions and results of topos theory.