Categories of assemblies for realizability
arXiv:1307.0663
Abstract
This paper introduces categories of assemblies which are closely connected to realizability interpretations and which are based on an important subcategory of the effective topos. There is a list of properties which characterize these categories of assemblies up to equivalence.