Characterizing partitioned assemblies and realizability toposes
Category Theory
2018-08-06 v2
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.
Cite
@article{arxiv.1404.6997,
title = {Characterizing partitioned assemblies and realizability toposes},
author = {Jonas Frey},
journal= {arXiv preprint arXiv:1404.6997},
year = {2018}
}