An axiomatic account of weak triquotient assignments in locale theory
scientific article; zbMATH DE number 5673197