[[!redirects topology]] [[!redirects Topology in HoTT]] Here we collect articles about doing topology in HoTT. * [[cohesive homotopy type theory]] * [[shape]] * [[geometrically contractible space]] * [[compact connected space]]