[[!redirects topology]] [[!redirects Topology in HoTT]] Here we collect articles about doing topology in HoTT. * [[cohesive homotopy type theory]] * [[shape]] category: not redirected to nlab yet