Published December 28, 2005 | Version v1
Journal article Open

Quotient Spaces and Coequalisers in Formal Topology

Authors/Creators

  • 1. Department of Mathematics, Uppsala University, Sweden

Description

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.

Files

jucs_article_28527.pdf

Files (153.3 kB)

Name Size
md5:12779bda84b7c047e62e5fcbd1537835
153.3 kB Preview Download