Categorified sheaf theory and the spectral Langlands TQFT

It is expected that the Betti version of the geometric Langlands program should ultimately be about the equivalence of two 4-dimensional topological field theories. In this talk I will give an overview of ongoing work in categorified sheaf theory and explain how one can use it to describe the categories of boundary conditions arising on the spectral side.