Sheaves for predicative toposes
逻辑
2007-05-23 v1 范畴论
摘要
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.
关键词
引用
@article{arxiv.math/0507480,
title = {Sheaves for predicative toposes},
author = {Benno van den Berg},
journal= {arXiv preprint arXiv:math/0507480},
year = {2007}
}