Article ID Journal Published Year Pages File Type
4661860 Annals of Pure and Applied Logic 2013 9 Pages PDF
Abstract

We extend Bishopʼs concept of function spaces to the concept of pre-function spaces. We show that there is an adjunction between the category of neighbourhood spaces and the category of Φ-closed pre-function spaces. We also show that there is an adjunction between the category of uniform spaces and the category of Ψ-closed pre-function spaces.

Related Topics
Physical Sciences and Engineering Mathematics Logic