2 papers
math.AG2021
Relative topos theory via stacks
Olivia Caramello, Riccardo Zanfa
We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of…
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.