Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 11 / Issue 12

available in:   PDF (150 kB) PS (156 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-011-12-1996


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