Relating Bishopʼs function spaces to neighbourhood spaces

Annals of Pure and Applied Logic 164 (4):482-490 (2013)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2012.10.009

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Separation properties in neighbourhood and quasi-apartness spaces.Robin Havea, Hajime Ishihara & Luminiţa Vîţă - 2008 - Mathematical Logic Quarterly 54 (1):58-64.
Quasi-apartness and neighbourhood spaces.Hajime Ishihara, Ray Mines, Peter Schuster & Luminiţa Vîţă - 2006 - Annals of Pure and Applied Logic 141 (1):296-306.
Cellular spaces.Wolfgang Merzenich - 1980 - Theoretical Medicine and Bioethics 1 (1):51-65.
Effectivity in Spaces with Admissible Multirepresentations.Matthias Schröder - 2002 - Mathematical Logic Quarterly 48 (S1):78-90.
Quantum measure spaces.G. Kalmbach - 1990 - Foundations of Physics 20 (7):801-821.
Division rings whose vector spaces are pseudofinite.Lou van den Dries & Vinicius Cifú Lopes - 2010 - Journal of Symbolic Logic 75 (3):1087 - 1090.
Vagueness: A Conceptual Spaces Approach.Igor Douven, Lieven Decock, Richard Dietz & Paul Égré - 2013 - Journal of Philosophical Logic 42 (1):137-160.
A physicalist reinterpretion of 'phenomenal' spaces.Lieven Decock - 2006 - Phenomenology and the Cognitive Sciences 5 (2):197-225.
The Stratified Spaces of Intern Degrees of Freedom.V. P. Sevrjuk - 2008 - Proceedings of the Xxii World Congress of Philosophy 43:243-253.
Expressive power in first order topology.Paul Bankston - 1984 - Journal of Symbolic Logic 49 (2):478-487.
From the Group SL(2, C) to Gyrogroups and Gyrovector Spaces and Hyperbolic Geometry.Jingling Chen & Abraham A. Ungar - 2001 - Foundations of Physics 31 (11):1611-1639.

Analytics

Added to PP
2013-12-12

Downloads
17 (#815,534)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminiţa Vîţă - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminia Vî - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.

View all 10 references / Add more references