On notions of compactness, object classifiers, and weak Tarski universes
| Authors | |
|---|---|
| Year of publication | 2023 |
| Type | Article in Periodical |
| Magazine / Source | Mathematical Structures in Computer Science |
| MU Faculty or unit | |
| Citation | |
| web | https://doi.org/10.1017/S0960129523000051 |
| Doi | https://doi.org/10.1017/S0960129523000051 |
| Keywords | relative compactness; object classifiers; Tarski universes; presentable 8-categories; combinatorial model categories |
| Description | 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. |
| Related projects: |