I've seen texts that talk about topological spaces being essentially locales, like Topology via Logic by Vickers, and texts related to homotopy theory that talk about topological spaces being essentially infinity-groupoids.

However, I've never seen any treatment of topology that combines these perspectives or talks about the relationship between locales and infinity-groupoids. Where should I be looking?