Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662656 | Annals of Pure and Applied Logic | 2006 | 11 Pages |
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