Title of article :
Quasi-apartness and neighbourhood spaces
Author/Authors :
Ishihara، نويسنده , , Hajime and Mines، نويسنده , , Ray and Schuster، نويسنده , , Peter and Vî??، نويسنده , , Lumini?a، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
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.
Keywords :
Constructive mathematics , general topology , Neighbourhood space , Adjunction , Apartness space
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic