The univalence axiom in cubical sets (Q2319981): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-018-9472-6
@@ Property / DOI: 10.1007/s10817-018-9472-6 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963912390
@@ Property / OpenAlex ID: W2963912390 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114017561
@@ Property / Wikidata QID: Q114017561 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10941
@@ Property / arXiv ID: 1710.10941 / rank @@
+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 @@
+Cubical Type Theory: a constructive interpretation of the univalence axiom
+Normal rank
@@ Property / cites work @@
+Understanding the small object argument
@@ Property / cites work: Understanding the small object argument / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic weak factorisation system on 01-substitution sets: a constructive proof
+Normal rank
@@ Property / DOI @@
+.1007/S10817-018-9472-6
@@ Property / DOI: 10.1007/S10817-018-9472-6 / rank @@
+Normal rank