21 citations · 24 across the 4 of their papers we have counts for
1 paper · 1 filter
Olivia Caramello
We show that there is a bijection between the subtoposes of the classifying topos of a geometric theory T over a signature L and the closed geometric theories over L which are `quo…