The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory (Q5278189): Difference between revisions

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2220627548
@@ Property / OpenAlex ID: W2220627548 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03918
@@ Property / arXiv ID: 1510.03918 / rank @@
+Normal rank
@@ Property / cites work @@
+π n (S n ) in Homotopy Type Theory
@@ Property / cites work: π n (S n ) in Homotopy Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Cubical Approach to Synthetic Homotopy Theory
@@ Property / cites work: A Cubical Approach to Synthetic Homotopy Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating the Fundamental Group of the Circle in Homotopy Type Theory
+Normal rank
@@ Property / cites work @@
+Univalent Semantics of Constructive Type Theories
@@ Property / cites work: Univalent Semantics of Constructive Type Theories / rank @@
+Normal rank