On notions of compactness, object classifiers, and weak Tarski universes (Q6149948): Difference between revisions

@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of simplicial localization functors and a discussion of DK equivalences
+Normal rank
@@ Property / cites work @@
+Relative categories: another model for the homotopy theory of homotopy theories
+Normal rank
@@ Property / cites work @@
+On an extension of the notion of Reedy category
@@ Property / cites work: On an extension of the notion of Reedy category / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial model categories have presentations
@@ Property / cites work: Combinatorial model categories have presentations / rank @@
+Normal rank
@@ Property / cites work @@
+Universal homotopy theories
@@ Property / cites work: Universal homotopy theories / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating simplicial localizations
@@ Property / cites work: Calculating simplicial localizations / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicial localizations of categories
@@ Property / cites work: Simplicial localizations of categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3488148
@@ Property / cites work: Q3488148 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted limits in simplicial homotopy theory
@@ Property / cites work: Weighted limits in simplicial homotopy theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790109
@@ Property / cites work: Q4790109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220599
@@ Property / cites work: Q4220599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3324132
@@ Property / cites work: Q3324132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679165
@@ Property / cites work: Q4679165 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+The universality of the Rezk nerve
@@ Property / cites work: The universality of the Rezk nerve / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical Homotopy Theory
@@ Property / cites work: Categorical Homotopy Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Univalence for inverse diagrams and homotopy canonicity
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank