Categories with finite limits where each slice is a topos and reindexing is the inverse image part of a geometric morphism have been called "partial topos" by J. Benabou . It are lccc-s where each slice category is a topos. He gives as example any groupoid. T. Streicher ++++++++++++++++++++++++++++++++++