Homotopy Type Theory Topology > history (Rev #4, changes)

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

Here we collect articles about doing topology in HoTT.

• cohesive homotopy type theory
• space?s and homotopy types
• discrete space?
• indiscrete space?
• underlying homotopy type?
• fundamental homotopy type?
• shape
• flat?
• sharp?
• Dedekind real numbers
• axiom R0?
• real cohesive homotopy type theory?
• geometrically contractible space
• continuous mapping