Dependent products and 1-inaccessible universes

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Autoři

LO MONACO Giulio

Rok publikování 2021
Druh Článek v odborném periodiku
Časopis / Zdroj Theory and Applications of Categories
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www http://www.tac.mta.ca/tac/volumes/37/5/37-05abs.html
Klíčová slova higher categories; higher toposes; elementary higher toposes; Grothendieck universes; large cardinals; dependent products; dependent sums; classifiers; generic morphisms
Popis The purpose of this writing is to explore the exact relationship running between geometric infinity-toposes and Mike Shulman's proposal for the notion of elementary 1-topos, and in particular we will focus on the set-theoretical strength of Shulman's axioms, especially on the last one dealing with dependent sums and products, in the context of geometric infinity-toposes. Heuristically, we can think of a collection of morphisms which has a classifier and is closed under these operations as a well-behaved internal universe in the infinity-category under consideration. We will show that this intuition can in fact be made to a mathematically precise statement, by proving that, once fixed a Grothendieck universe, the existence of such internal universes in geometric infinity-toposes is equivalent to the existence of smaller Grothendieck universes inside the bigger one. Moreover, a perfectly analogous result can be shown if instead of geometric infinity-toposes our analysis relies on ordinary sheaf toposes, although with a slight change due to the impossibility of having true classifiers in the infinity-dimensional setting. In conclusion, it will be shown that, under stronger assumptions positing the existence of intermediate-size Grothendieck universes, examples of elementary infinity-toposes with strong universes which are not geometric can be found.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.