@TECHREPORT{Palmgren05coequalisersin, author = {Erik Palmgren}, title = {Coequalisers in formal topology}, institution = {}, year = {2005}}

We give a construction of coequalisers in formal topology, a predicative version of locale theory.