Paper Info
Title
Coequalisers of formal topology
Abstract
Abstract We give a construction of coequalisers in formal topology, a predicative version of locale theory. MSC: 03F65, 06D22, 54B15. Keywords: locales, coequalisers, formal topology, predicativity, con-
Year
Venue
Field
2005
Mathematics, Algorithms, Proofs
Topology,Computer science
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
5
1
Name
Order
Citations
PageRank
Erik Palmgren123343.17