Characterizing partitioned assemblies and realizability toposes

DOI10.1016/j.jpaa.2018.08.012zbMath1422.18004arXiv1404.6997OpenAlexW2887094389MaRDI QIDQ1713020

Jonas Frey

Publication date: 24 January 2019

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

exact completionrealizability toposespartitioned assemblies

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items

Internal Partial Combinatory Algebras and their Slices, On categorical structures arising from implicative algebras: from topology to assemblies, Aspects of Categorical Recursion Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realizability. An introduction to its categorical side
• Locally cartesian closed exact completions
• More exact completions that are toposes
• A characterization of the left exact categories whose exact completions are toposes
• Impredicativity entails untypedness
• Colimit completions and the effective topos
• All realizability is relative
• Tripos theory
• Ordered partial combinatory algebras
• More on Geometric Morphisms between Realizability Toposes
• Effective operations of type 2 in PCAs