Sheaves for predicative toposes

Details Sheaves for predicative toposes Sheaves for predicative toposes

2005-07-22

arxiv.org/abs/math/0507480v1

Mathematics

Logic

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Sheaves for predicative toposes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Sheaves for predicative toposes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sheaves for predicative toposes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-706833