Showing math.CTShow all
2 papers · 1 filter
math.CT2021
Vopěnka's principle in -categories
Giulio Lo Monaco
In this article, the interplay between Vopěnka's principle, as well as its weaker counterpart, and presentable -categories is studied. Analogous statements, arising after r…
math.CT2019
Dependent products and 1-inaccessible universes
Giulio Lo Monaco
The purpose of this writing is to show that, if we use the definition of elementary -topos that has been proposed by Mike Shulman, then the fact that every geometric $\inft…