2012/07/04 by Benno van den Berg, Berg, Benno van den
Mathematics · #03F50 #18B05 #18C50 #18F20 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #math.CT #math.LO #msc:03F50 #msc:18B05 #msc:18C50 #msc:18F20
paper · pdf · doi:10.48550/arxiv.1207.0959
arxiv created 2012/07/04 · arxiv updated 2012/07/05
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.