1 problem
- 0 votes0 replies0 views
The characterization of absolutely locally compact topoi by exponentiability
Let be a topos. Its diagonal and the diagonal of its diagonal are geometric morphisms associated with the corresponding iterated fiber products. A topos is absolutely…