Predicative toposes
  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. 
Benno van den Berg
math.CT math.LO