Sheaves for predicative toposes
Logic
2007-05-23 v1 Category Theory
Abstract
In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the aim of using sheaf models to interprete predicative formal systems. Among our technical results, we prove that all the notions of a ``predicative topos'' that we consider, are stable under presheaves, while most are stable under sheaves.
Keywords
Cite
@article{arxiv.math/0507480,
title = {Sheaves for predicative toposes},
author = {Benno van den Berg},
journal= {arXiv preprint arXiv:math/0507480},
year = {2007}
}