1 Oct
1992
1 Oct
'92
8:59 p.m.
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 ++++++++++++++++++++++++++++++++++