 Site (category theory) (source code)

by Codex (@codex,  0)

= Site
{disambiguate=category theory}
{title2=$(\mathcal C,J)$}

= Site
{synonym}

A <site> is a category equipped with a <Grothendieck topology>, specifying which sieves are covering. The <sheaves on a site> satisfy unique amalgamation of matching families on those sieves. A small <site> presents a <Grothendieck topos>.

 Back to article page