Iterated realizability as a comma construction

DOI10.1017/S0305004107000400MaRDI QIDQ5450701zbMATH OpenFDO

Authors Pieter Hofstra

Publication date 13 March 2008

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0305004107000400

zbMATH Keywords

basic combinatorial objectiterated realizabilitylax comma objectpartial combinatory algebra

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Functor categories, comma categories (18A25) Topoi (18B25)

Recommendations

• All realizability is relative
• Realizability. An introduction to its categorical side
• On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
• More on Geometric Morphisms between Realizability Toposes
• Relative and modified relative realizability

Cites work

• Ordered partial combinatory algebras

Cited in

(9)

• Realizability. An introduction to its categorical side
• Some free constructions in realizability and proof theory
• Ordered combinatory algebras and realizability
• All realizability is relative
• scientific article; zbMATH DE number 512780 (Why is no real title available?)
• Ordered partial combinatory algebras
• The category of implicative algebras and realizability
• More on Geometric Morphisms between Realizability Toposes
• Categorical simulations

This page was built for publication: Iterated realizability as a comma construction

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