Homotopy theoretic models of identity types (Q3598111): Difference between revisions

@@ Property / cites work @@
+\(\mathbb{A}^1\)-homotopy theory of schemes
@@ Property / cites work: \(\mathbb{A}^1\)-homotopy theory of schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Fibered categories and the foundations of naive category theory
+Normal rank
@@ Property / cites work @@
+Quasi-categories and Kan complexes
@@ Property / cites work: Quasi-categories and Kan complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+Homotopical algebra
@@ Property / cites work: Homotopical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions of factorization systems in categories
+Normal rank