Geometric morphisms of realizability toposes

MaRDI QIDQ2847361zbMATH OpenFDO

Authors Peter Johnstone

Publication date 4 September 2013

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL http://www.emis.de/journals/TAC/volumes/28/9/28-09abs.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

geometric morphismrealizability toposSchönfinkel algebras

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75) Topoi (18B25)

Recommendations

• More on Geometric Morphisms between Realizability Toposes
• A note on inequivalence of realizability toposes
• Functoriality of modified realizability
• scientific article; zbMATH DE number 6290072
• Sheaf toposes for realizability

Cited in

(12)

• Functoriality of modified realizability
• Third-order functionals on partial combinatory algebras
• A topos with no geometric morphism to any Boolean one
• Internal partial combinatory algebras and their slices
• 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
• More on Geometric Morphisms between Realizability Toposes
• scientific article; zbMATH DE number 6290072 (Why is no real title available?)
• Effective operations of type 2 in PCAs
• The modified realizability topos
• A category of arrow algebras for modified realizability

This page was built for publication: Geometric morphisms of realizability toposes

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