More on Geometric Morphisms between Realizability Toposes

MaRDI QIDQ5248247zbMATH OpenFDO

Authors Eric Faber, Jaap van Oosten

Publication date 28 April 2015

Full work available at URL https://arxiv.org/abs/1408.3984, http://www.emis.de/journals/TAC/volumes/29/30/29-30abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

(order) partial combinatory algebra2-categoryapplicative morphismassemblyDe Morgan toposeffective toposexact categorygeometric morphismlocal operatorrealizability topossheafweak subobject classifier

Mathematics Subject Classification ID

Partial algebras (08A55) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Topoi (18B25)

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.

Recommendations

• Sheaf toposes for realizability
• A general form of relative recursion
• Characterizing partitioned assemblies and realizability toposes
• On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
• Local realizability toposes and a modal logic for computability
• Geometric morphisms of realizability toposes
• Internal partial combinatory algebras and their slices
• A note on inequivalence of realizability toposes
• Iterated realizability as a comma construction
• Third-order functionals on partial combinatory algebras

Cited in

(14)

• Functoriality of modified realizability
• Characterizing partitioned assemblies and realizability toposes
• Third-order functionals on partial combinatory algebras
• Partial combinatory algebra and generalized numberings
• Geometric morphisms of realizability toposes
• Local realizability toposes and a modal logic for computability
• A note on inequivalence of realizability toposes
• Two remarks on the Lifschitz realizability topos
• On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
• Iterated realizability as a comma construction
• Effective operations of type 2 in PCAs
• Parallelism in realizability models
• Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
• Sheaf toposes for realizability

This page was built for publication: More on Geometric Morphisms between Realizability Toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5248247)