Abstract
For a site S (with enough points), we construct a topological space X(S) and a full embedding ' of the category of sheaves on S into those on X(S) (i.e., a morphism of toposes ': Sh(X(S)) ! Sh(S)). The embedding will be shown to induce a full embedding of derived
... read more