[[!redirects topology]] [[!redirects Topology in HoTT]] Here we collect articles about doing topology in HoTT. * [[cohesive homotopy type theory]] * [[space]]s and [[homotopy type]]s * [[discrete space]] * [[indiscrete space]] * [[underlying homotopy type]] * [[fundamental homotopy type]] * [[shape]] * [[flat]] * [[sharp]] * [[Dedekind real numbers]] * [[axiom R-flat]] * [[real cohesive homotopy type theory]] * [[geometrically contractible space]] * [[contractibility of Dedekind real numbers]] * [[continuous mapping]] * [[discontinuous mapping]] * [[intermediate value theorem]] * [[continuous interval object]]