What is the difference between Langlands program and Category theory?
However, skimming the Wikipedia page, I can see a few interesting things, e.g. Galois groups and a notion of functoriality [1] that are analogous to concepts in category theory. It doesn't look like the Langlands program has been "Categorified" a la Grothendieck yet.
[1] https://en.wikipedia.org/wiki/Langlands_program#Functorialit...