An axiomatic account of weak triquotient assignments in locale theory

In locale theory, weak triquotient assignments on a map f:X⟶Yf:X⟶Y can be represented as the points of the double power locale of ff relative to the topos of sheaves over YY. A categorical proof of this representation theorem is given based on a categorical account of the Sierpiński locale.