| http://www.w3.org/ns/prov#value | - If I understand correctly, one of the steps in proving the fpqc descent theorem is showing that the representable presheaves are fpqc sheaves, and the main step in that is showing that the equaliser/cokernel pair diagram of a faithfully flat ring extension $B o E$ is sent to a coequaliser/kernel pair diagram of $\operatorname{Spec} E o \operatorname{Spec} B$ in $ extbf{Sch}$.
|
