Natural models of homotopy type theory (Q3130300): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3219
@@ Property / arXiv ID: 1406.3219 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating first-order set theories, toposes and categories of classes
+Normal rank
@@ Property / cites work @@
+Homotopy theoretic models of identity types
@@ Property / cites work: Homotopy theoretic models of identity types / rank @@
+Normal rank
@@ Property / cites work @@
+Q2968413
@@ Property / cites work: Q2968413 / rank @@
+Normal rank
@@ Property / cites work @@
+Internal type theory
@@ Property / cites work: Internal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Exponentiable morphisms, partial products and pullback complements
+Normal rank
@@ Property / cites work @@
+Categorical properties of logical frameworks
@@ Property / cites work: Categorical properties of logical frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+The identity type weak factorisation system
@@ Property / cites work: The identity type weak factorisation system / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial functors and polynomial monads
@@ Property / cites work: Polynomial functors and polynomial monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474857
@@ Property / cites work: Q4474857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138550
@@ Property / cites work: Q3138550 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the bagdomain theme
@@ Property / cites work: Variations on the bagdomain theme / rank @@
+Normal rank
@@ Property / cites work @@
+The Local Universes Model
@@ Property / cites work: The Local Universes Model / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Topological and Simplicial Models of Identity Types
+Normal rank
@@ Property / OpenAlex ID @@
+W2962920088
@@ Property / OpenAlex ID: W2962920088 / rank @@
+Normal rank