On notions of compactness, object classifiers, and weak Tarski universes
From MaRDI portal
Publication:6149948
DOI10.1017/S0960129523000051arXiv1911.01895OpenAlexW4321377599MaRDI QIDQ6149948
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
relative compactnesscombinatorial model categoriespresentable \(\infty\)-categoriesobject classifiersTarski universes
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