More on Geometric Morphisms between Realizability Toposes
Abstract
Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the {\em computationally dense\/} ones) are seen to be the ones whose `lifts' to a kind of completion have right adjoints. We characterize topos inclusions corresponding to a general form of relative computability. We characterize pcas whose realizability topos admits a geometric morphism to the effective topos.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2014
- DOI:
- 10.48550/arXiv.1408.3984
- arXiv:
- arXiv:1408.3984
- Bibcode:
- 2014arXiv1408.3984F
- Keywords:
-
- Mathematics - Logic
- E-Print:
- 20 pages