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!