2 Oct
1992
2 Oct
'92
6:59 a.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 ++++++++++++++++++++++++++++++++++