Showing changes from revision #2 to #3:
Added | ~~Removed~~ | ~~Chan~~ged

< real-cohesive (infinity,1)-topos

~~Axiom: The ~~

category: redirected to nlab

$p:isContr(\esh(\mathbb{R}))$

This statement can be derived from axiom R-flat

- Mike Shulman, Brouwer’s fixed-point theorem in real-cohesive homotopy type theory, Mathematical Structures in Computer Science Vol 28 (6) (2018): 856-941 (arXiv:1509.07584, doi:10.1017/S0960129517000147)

Last revised on June 14, 2022 at 13:33:35. See the history of this page for a list of all contributions to it.