JUCS - Journal of Universal Computer Science 11(12): 1996-2007, doi: 10.3217/jucs-011-12-1996
Quotient Spaces and Coequalisers in Formal Topology
expand article infoErik Palmgren‡
‡ Department of Mathematics, Uppsala University, Sweden

Corresponding author: Erik Palmgren ( palmgren@math.uu.se )

© Erik Palmgren.
This article is freely available under the J.UCS Open Content License.
Citation: Palmgren E (2005) Quotient Spaces and Coequalisers in Formal Topology. JUCS - Journal of Universal Computer Science 11(12): 1996-2007. https://doi.org/10.3217/jucs-011-12-1996
Open Access
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
locales, coequalisers, quotients, formal topology, predicativit, constructive topology