Induced model structures for higher categories (Q5869779): Difference between revisions

@@ Property / cites work @@
+Truncated resolution model structures
@@ Property / cites work: Truncated resolution model structures / rank @@
+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 @@
+Varieties of Cubical Sets
@@ Property / cites work: Varieties of Cubical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Reedy categories and the \(\varTheta\)-construction
+Normal rank
@@ Property / cites work @@
+Joyal's cylinder conjecture
@@ Property / cites work: Joyal's cylinder conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Cubical Type Theory: a constructive interpretation of the univalence axiom
+Normal rank
@@ Property / cites work @@
+Q3424496
@@ Property / cites work: Q3424496 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Cubical Models of Univalent Type Theory
@@ Property / cites work: Unifying Cubical Models of Univalent Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for existence of right‐induced model structures
+Normal rank
@@ Property / cites work @@
+Q3160254
@@ Property / cites work: Q3160254 / rank @@
+Normal rank
@@ Property / cites work @@
+Mapping spaces in quasi-categories
@@ Property / cites work: Mapping spaces in quasi-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Exponentiable morphisms, partial products and pullback complements
+Normal rank
@@ Property / cites work @@
+A model structure on prederivators for $(\infty,1)$-categories
+Normal rank
@@ Property / cites work @@
+Lifting accessible model structures
@@ Property / cites work: Lifting accessible model structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707052
@@ Property / cites work: Q4707052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790109
@@ Property / cites work: Q4790109 / rank @@
+Normal rank
@@ Property / cites work @@
+A necessary and sufficient condition for induced model structures
+Normal rank
@@ Property / cites work @@
+Q4220599
@@ Property / cites work: Q4220599 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical homotopy theory
@@ Property / cites work: Categorical homotopy theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate Model Structures for Simplicial Presheaves
+Normal rank
@@ Property / cites work @@
+Q5200292
@@ Property / cites work: Q5200292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431520
@@ Property / cites work: Q5431520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679165
@@ Property / cites work: Q4679165 / rank @@
+Normal rank
@@ Property / cites work @@
+A cubical approach to straightening
@@ Property / cites work: A cubical approach to straightening / 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 @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+The cubical category with connections is a strict test category
+Normal rank
@@ Property / cites work @@
+A model for the homotopy theory of homotopy theory
+Normal rank
@@ Property / cites work @@
+Categorical Homotopy Theory
@@ Property / cites work: Categorical Homotopy Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Complicial sets, an overture
@@ Property / cites work: Complicial sets, an overture / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing composites of left and right derived functors
+Normal rank
@@ Property / cites work @@
+Note on a theorem of Bousfield and Friedlander
@@ Property / cites work: Note on a theorem of Bousfield and Friedlander / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicial sets inside cubical sets
@@ Property / cites work: Simplicial sets inside cubical sets / rank @@
+Normal rank