Homotopy Type Theory contractibility of Dedekind real numbers > history (Rev #2)

Definition

Axiom: The shape of \mathbb{R} is contractible:

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

This statement can be derived from axiom R-flat

See also

References

Revision on April 22, 2022 at 23:25:38 by Anonymous?. See the history of this page for a list of all contributions to it.