On notions of compactness, object classifiers, and weak Tarski universes

Logo poskytovatele

Varování

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

STENZEL Raffael

Rok publikování 2023
Druh Článek v odborném periodiku
Časopis / Zdroj Mathematical Structures in Computer Science
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www https://doi.org/10.1017/S0960129523000051
Doi http://dx.doi.org/10.1017/S0960129523000051
Klíčová slova relative compactness; object classifiers; Tarski universes; presentable 8-categories; combinatorial model categories
Popis We prove a correspondence between kappa-small fibrations in simplicial presheaf categories equipped with the injective or projective model structure (and left Bousfield localizations thereof) and relatively kappa-compact maps in their underlying quasi-categories for suitably large regular cardinals kappa. We thus obtain a transition result between weakly universal small fibrations in the (type-theoretic) injective Dugger-Rezk-style standard presentations of model toposes and object classifiers in Grothendieck infinity-toposes in the sense of Lurie.
Související projekty:

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