Sheaves for Predicative Toposes

@inproceedings{BergSheavesFP,
  title={Sheaves for Predicative Toposes},
  author={Benno Van Den Berg}
}
In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, pred-icative 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… CONTINUE READING