## Effective operations of type 2 in PCAs

- Eric Faber, Jaap van Oosten
- Computability
- 2016

3 Excerpts

- Published 2014

Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the 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.

@inproceedings{Faber2014MoreOG,
title={More on Geometric Morphisms between Realizability Toposes},
author={Eric Faber and Jaap van Oosten},
year={2014}
}