Geodesic
Geometric morphisms of realizability toposes
Theory and applications of categories, Tome 28 (2013), pp. 241-249

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

We show that every geometric morphism between realizability toposes satisfies the condition that its inverse image commutes with the `constant object' functors, which was assumed by John Longley in his pioneering study of such morphisms. We also provide the answer to something which was stated as an open problem on Jaap van Oosten's book on realizability toposes: if a subtopos of a realizability topos is (co)complete, it must be either the topos of sets or the degenerate topos. And we present a new and simpler condition equivalent to the notion of computational density for applicative morphisms of Schonfinkel algebras.

Publié le :
Classification : Primary 18B25, secondary 03D75
Keywords: realizability topos, geometric morphism, applicative morphism 
@article{TAC_2013_28_a8,
     author = {Peter Johnstone},
     title = {Geometric morphisms of realizability toposes},
     journal = {Theory and applications of categories},
     pages = {241--249},
     publisher = {mathdoc},
     volume = {28},
     year = {2013},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2013_28_a8/}
}
TY  - JOUR
AU  - Peter Johnstone
TI  - Geometric morphisms of realizability toposes
JO  - Theory and applications of categories
PY  - 2013
SP  - 241
EP  - 249
VL  - 28
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2013_28_a8/
LA  - en
ID  - TAC_2013_28_a8
ER  - 
%0 Journal Article
%A Peter Johnstone
%T Geometric morphisms of realizability toposes
%J Theory and applications of categories
%D 2013
%P 241-249
%V 28
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2013_28_a8/
%G en
%F TAC_2013_28_a8
Peter Johnstone. Geometric morphisms of realizability toposes. Theory and applications of categories, Tome 28 (2013), pp. 241-249. http://geodesic.mathdoc.fr/item/TAC_2013_28_a8/