19 citations · 47 across the 12 of their papers we have counts for
1 paper · 2 filters
Daniel Gratzer, Michael Shulman, Jonathan Sterling
Hofmann and Streicher famously showed how to lift Grothendieck universes into presheaf topoi, and Streicher has extended their result to the case of sheaf topoi by sheafification.…