Localization in Homotopy Type Theory (Q5217587): Difference between revisions

@@ Property / arXiv ID @@
+.04155
@@ Property / arXiv ID: 1807.04155 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy limits in type theory
@@ Property / cites work: Homotopy limits in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Localization and Periodicity in Unstable Homotopy Theory
+Normal rank
@@ Property / cites work @@
+Higher Groups in Homotopy Type Theory
@@ Property / cites work: Higher Groups in Homotopy Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Localizing with Respect to Self-Maps of the Circle
+Normal rank
@@ Property / cites work @@
+Sequential Colimits in Homotopy Type Theory
@@ Property / cites work: Sequential Colimits in Homotopy Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Cellular spaces, null spaces and homotopy localization
+Normal rank
@@ Property / cites work @@
+The homotopy theory of type theories
@@ Property / cites work: The homotopy theory of type theories / rank @@
+Normal rank
@@ Property / cites work @@
+Eilenberg-MacLane spaces in homotopy type theory
@@ Property / cites work: Eilenberg-MacLane spaces in homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of higher inductive types
@@ Property / cites work: Semantics of higher inductive types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3113883
@@ Property / cites work: Q3113883 / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities in homotopy type theory
@@ Property / cites work: Modalities in homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Nilpotent types and fracture squares in homotopy type theory
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+$L'$-localization in an $\infty$-topos
@@ Property / cites work: $L'$-localization in an $\infty$-topos / rank @@
+Normal rank