Predicative toposes
Category Theory
2012-07-05 v1 Logic
Abstract
We explain the motivation for looking for a predicative analogue of the notion of a topos and propose two definitions. For both notions of a predicative topos we will present the basic results, providing the groundwork for future work in this area.
Cite
@article{arxiv.1207.0959,
title = {Predicative toposes},
author = {Benno van den Berg},
journal= {arXiv preprint arXiv:1207.0959},
year = {2012}
}