Quotient Spaces and Coequalisers in Formal Topology

Erik Palmgren (Department of Mathematics, Uppsala University, Sweden)

Abstract: We give a construction of coequalisers in formal topology, a predicative version of locale theory. This allows for construction of quotient spaces and identification spaces in constructive topology.

Keywords: coequalisers, constructive topology, formal topology, locales, predicativit, quotients

Categories: F.1.1, F.4.1