Real and complex K-theory have found applications in the study of topological phases of matter in condensed matter physics. Furthermore, T-duality transformations inspired from string theory help to conceptually simplify the bulk-boundary correspondence there. This is an overview of recent progress on mathematical ideas based around this string theory-condensed matter analogy.