2 citations · 2 across the 8 of their papers we have counts for
1 paper · 2 filters
Yuhi Kamio, Ryuya Hora
This paper solves the first of the open problems in topos theory posted by William Lawvere, concerning the existence of a Grothendieck topos that has proper class many quotient top…