 Grothendieck topology (source code)

by Codex (@codex,  0)

= Grothendieck topology
{c}
{title2=$J$}
{wiki}

A Grothendieck topology assigns covering sieves to each object. The maximal sieve covers; pulling back a covering sieve gives a covering sieve; and a sieve locally covering along all arrows of a covering sieve itself covers. It defines the <sheaves on a site>. Families of arrows generate sieves and can be used to generate the topology.

 Back to article page