Subcanonical topology

ID: subcanonical-topology

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.

New to topics? Read the docs here!