21 citations · 60 across the 23 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.CT2019
On the dependent product in toposes
Olivia Caramello, Riccardo Zanfa
We give an explicit construction of the dependent product in an elementary topos, and a site-theoretic description for it in the case of a Grothendieck topos.
math.CT2019★ 4 cited
Denseness conditions, morphisms and equivalences of toposes
Olivia Caramello
We systematically investigate morphisms and equivalences of toposes from multiple points of view. We establish a dual adjunction between morphisms and comorphisms of sites, introdu…