An axiomatic account of weak triquotient assignments in locale theory

摘要

In locale theory, weak triquotient assignments on a map f : X -> Y can be represented as the points of the double power locale off relative to the topos of sheaves over Y. A categorical proof of this representation theorem is given based on a categorical account Of the Sierpinski locale.