Coequalisers in formal topology

Abstract

We give a construction of coequalisers in formal topology, a predicative version of locale theory. MSC: 03F65, 06D22, 54B15. 

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.