1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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.…