When one interprets types as spaces, as in homotopy type theory, the correspondence between types, representations, and the manifold hypothesis not only become real, they become programmatic and explocitly representable. This incredible superpower is something humankind is only beginning to grasp.