Article ID Journal Published Year Pages File Type
4662656 Annals of Pure and Applied Logic 2006 11 Pages PDF
Abstract

We extend the concept of apartness spaces to the concept of quasi-apartness spaces. We show that there is an adjunction between the category of quasi-apartness spaces and the category of neighbourhood spaces, which indicates that quasi-apartness is a more natural concept than apartness. We also show that there is an adjoint equivalence between the category of apartness spaces and the category of Grayson’s separated spaces.

Related Topics
Physical Sciences and Engineering Mathematics Logic