Geodesic
More on geometric morphisms between realizability toposes
Theory and applications of categories, Tome 29 (2014), pp. 874-895

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

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.

Publié le :
Classification : 18B25, 03D75
Keywords: realizability toposes, partial combinatory algebras, geometric morphisms, local operators 
@article{TAC_2014_29_a29,
     author = {Eric Faber and Jaap van Oosten},
     title = {More on geometric morphisms between realizability toposes},
     journal = {Theory and applications of categories},
     pages = {874--895},
     publisher = {mathdoc},
     volume = {29},
     year = {2014},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2014_29_a29/}
}
TY  - JOUR
AU  - Eric Faber
AU  - Jaap van Oosten
TI  - More on geometric morphisms between realizability toposes
JO  - Theory and applications of categories
PY  - 2014
SP  - 874
EP  - 895
VL  - 29
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2014_29_a29/
LA  - en
ID  - TAC_2014_29_a29
ER  - 
%0 Journal Article
%A Eric Faber
%A Jaap van Oosten
%T More on geometric morphisms between realizability toposes
%J Theory and applications of categories
%D 2014
%P 874-895
%V 29
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2014_29_a29/
%G en
%F TAC_2014_29_a29
Eric Faber; Jaap van Oosten. More on geometric morphisms between realizability toposes. Theory and applications of categories, Tome 29 (2014), pp. 874-895. http://geodesic.mathdoc.fr/item/TAC_2014_29_a29/