Four new axioms for homotopy type theory, modeling light condensed sets, suffice to develop synthetic topology and prove Brouwer's fixed-point theorem, with all functions continuous on the interval.
Springer-Verlag, Berlin, 1985, pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Foundation for Synthetic Stone Duality
Four new axioms for homotopy type theory, modeling light condensed sets, suffice to develop synthetic topology and prove Brouwer's fixed-point theorem, with all functions continuous on the interval.