pith. sign in

arxiv: 1207.0959 · v1 · pith:UAV7ULBSnew · submitted 2012-07-04 · 🧮 math.CT · math.LO

Predicative toposes

Benno van den Berg This is my paper
classification 🧮 math.CT math.LO
keywords predicativetoposanalogueareabasicdefinitionsexplainfuture
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.