Homotopy Type Theory contractibility of Dedekind real numbers > history (changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

Definition

< real-cohesive (infinity,1)-topos

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

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