A note on proximity spaces and connection based mereology

Title:	A note on proximity spaces and connection based mereology
Authors:	Dimiter Vakarelov, Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Computer Science, Sofia University, Ivo Düntsch , Dept of Computer Science , Brock University , St Catherines, Ontario, L2S 3A1, Canada Brandon Bennett, School of Computing, University of Leeds (Equal authorship implied)
Status:	Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS 2001), Ed. C. Welty and B. Smith (2001), 139 - 150
Abstract:	Representation theorems for systems of regions have been of interest for some time, and various contexts have been used for this purpose: Mormann has demonstrated the fruitfulness of the methods of continuous lattices to obtain a topological representation theorem for his formalisation of Whiteheadian ontological theory of space; similar results have been obtained by Roeper. In this note, we prove a topological representation theorem for a connection based class of systems, using methods and tools from the theory of proximity spaces.