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

DOI10.1017/S0960129523000051arXiv1911.01895OpenAlexW4321377599MaRDI QIDQ6149948

Raffael Stenzel

Publication date: 5 March 2024

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1911.01895

zbMATH Keywords

relative compactnesscombinatorial model categoriespresentable \(\infty\)-categoriesobject classifiersTarski universes

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On an extension of the notion of Reedy category
• Relative categories: another model for the homotopy theory of homotopy theories
• A characterization of simplicial localization functors and a discussion of DK equivalences
• Simplicial localizations of categories
• Calculating simplicial localizations
• Weighted limits in simplicial homotopy theory
• The universality of the Rezk nerve
• Categorical Homotopy Theory
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Higher Topos Theory (AM-170)
• Univalence for inverse diagrams and homotopy canonicity
• Universal homotopy theories
• Combinatorial model categories have presentations

This page was built for publication: On notions of compactness, object classifiers, and weak Tarski universes