  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.
