Categories of assemblies for realizability
Logic
2013-07-03 v1 Category Theory
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.
Keywords
Cite
@article{arxiv.1307.0663,
title = {Categories of assemblies for realizability},
author = {Wouter Pieter Stekelenburg},
journal= {arXiv preprint arXiv:1307.0663},
year = {2013}
}