Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661860 | Annals of Pure and Applied Logic | 2013 | 9 Pages |
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