Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312): Difference between revisions

@@ Property / describes a project that uses @@
+MathOverflow
@@ Property / describes a project that uses: MathOverflow / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HoTT
@@ Property / describes a project that uses: HoTT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07584
@@ Property / arXiv ID: 1509.07584 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary axioms for local maps of toposes
@@ Property / cites work: Elementary axioms for local maps of toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499150
@@ Property / cites work: Q4499150 / 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 @@
+Convenient categories of smooth spaces
@@ Property / cites work: Convenient categories of smooth spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces in synthetic topology
@@ Property / cites work: Metric spaces in synthetic topology / rank @@
+Normal rank
@@ Property / cites work @@
+On the homotopy type of higher orbifolds and Haefliger classifying spaces
+Normal rank
@@ Property / cites work @@
+Q3856914
@@ Property / cites work: Q3856914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722244
@@ Property / cites work: Q4722244 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal homotopy theories
@@ Property / cites work: Universal homotopy theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844075
@@ Property / cites work: Q2844075 / rank @@
+Normal rank
@@ Property / cites work @@
+The intrinsic topology of Martin-Löf universes
@@ Property / cites work: The intrinsic topology of Martin-Löf universes / rank @@
+Normal rank
@@ Property / cites work @@
+Univalence in locally Cartesian closed categories
@@ Property / cites work: Univalence in locally Cartesian closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Calculus. III: Taylor series
@@ Property / cites work: Calculus. III: Taylor series / rank @@
+Normal rank
@@ Property / cites work @@
+On a Topological Topos
@@ Property / cites work: On a Topological Topos / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200292
@@ Property / cites work: Q5200292 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions with Non-Recursive Higher Inductive Types
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5298124
@@ Property / cites work: Q5298124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5261938
@@ Property / cites work: Q5261938 / 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 @@
+Calculating the Fundamental Group of the Circle in Homotopy Type Theory
+Normal rank
@@ Property / cites work @@
+Adjoint Logic with a 2-Category of Modes
@@ Property / cites work: Adjoint Logic with a 2-Category of Modes / rank @@
+Normal rank
@@ Property / cites work @@
+The Local Universes Model
@@ Property / cites work: The Local Universes Model / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+Q2927669
@@ Property / cites work: Q2927669 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive and functorial embedding of locally compact metric spaces into locales
+Normal rank
@@ Property / cites work @@
+Resolution of the uniform lower bound problem in constructive analysis
+Normal rank
@@ Property / cites work @@
+Q3223016
@@ Property / cites work: Q3223016 / rank @@
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5371275
@@ Property / cites work: Q5371275 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda calculus for real analysis
@@ Property / cites work: A lambda calculus for real analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Q3998741
@@ Property / cites work: Q3998741 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4640312