Characterizing partitioned assemblies and realizability toposes
classification
🧮 math.CT
keywords
realizabilityassembliespartitionedtoposesalgebraanswerscategorycharacterization
read the original abstract
We give simple characterizations of the category PAsm(A) of partitioned assemblies, and of the realizability topos RT(A) over a partial combinatory algebra A. This answers the question for an 'extensional characterization' of realizability toposes.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.