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

@@ Property / author @@
-Steven Awodey
@@ Property / author: Steven Awodey / rank @@
-Normal rank
@@ Property / author @@
+Steven Awodey
@@ Property / author: Steven Awodey / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0248
@@ Property / arXiv ID: 0709.0248 / rank @@
+Normal rank
@@ 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