More on Geometric Morphisms between Realizability Toposes

zbMath1316.18006arXiv1408.3984MaRDI QIDQ5248247

Eric Faber, Jaap van Oosten

Publication date: 28 April 2015

Full work available at URL: https://arxiv.org/abs/1408.3984

zbMATH Keywords

exact categorylocal operator2-categoryassemblyeffective toposrealizability topossheafgeometric morphismweak subobject classifierDe Morgan topos(order) partial combinatory algebraapplicative morphism

Mathematics Subject Classification ID

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

Related Items

Partial combinatory algebra and generalized numberings, Functoriality of modified realizability, Parallelism in realizability models, Characterizing partitioned assemblies and realizability toposes, On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes, Effective operations of type 2 in PCAs, Third-order functionals on partial combinatory algebras