I’ll present an introduction to the Geometric Langlands Program, with an emphasis on its relation to structures central to the Quantum Symmetries and Higher Categories programs. Namely we’ll discuss duality for four-dimensional extended topological field theories, as proposed by Kapustin and Witten, with an emphasis on the role of (E_k algebras of) defects of various dimensions.