Two subcategories of apartness spaces
Under an Elsevier user license
open archive
Highlights
► We introduce topological apartness spaces and uniform apartness spaces. ► An adjunction between topological apartness spaces and neighbourhood spaces is found. ► We also construct an adjunction between uniform apartness spaces and uniform spaces.
MSC
03F65
54E05
Keywords
Constructive mathematics
Neighbourhood space
Uniform space
Apartness space
Adjunction
Cited by (0)
Copyright © 2011 Elsevier B.V.