[[!redirects topology]] [[!redirects Topology in HoTT]] Here we collect articles about doing topology in HoTT. * [[cohesive homotopy type theory]] * [[shape]] * [[flat]] * [[sharp]] * [[geometrically contractible space]] * [[compact connected space]] ## Dedekind real numbers * [[order]] * [[strict order]] * [[dense strict order]] * [[extended Dedekind cut]] * [[Dedekind real unit interval]] * [[Dedekind real numbers]]