Sheaves for predicative toposes
Benno van den Berg
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.
Create a lesson
Related papers
On separable pairs of fields and beautiful pairs of separably closed valued fields
Zhengqing He, Martin Hils
Fragments of SRP, the nonstationary ideal, and diagonal reflection
Gunter Fuchs, Hiroshi Sakai
Functional Projection and Complexity Reduction
Vera Fischer, Yurii Khomskii, Yipu Li et al.
On the foundations of logic and probability, II. Modal probability spaces
Loic Cosyns
Linear Logic via algebra I: Girard algebras
Paolo Agliano, Mitar Nedeljkovic
Proper varieties of distributive l-pregroups are periodic
Nikolaos Galatos, Simon Santschi