Subcanonical topology (source code)

= Subcanonical topology

= Subcanonical
{synonym}

= Standard coverage
{synonym}

A Grothendieck topology is subcanonical when every <representable functor> is a <sheaf on a site>. It is also called standard in some topos-theory terminology. A nontrivial covering quotient can fail this condition by identifying distinct sections of a representable.