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