The two are not related in terms of people working in the fields. I have never heard anyone from my category theory circles mention the Langlands program and sa

The two are not related in terms of people working in the fields. I have never heard anyone from my category theory circles mention the Langlands program and saw it for the first time on Wikipedia. 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#Functoriality https://en.wikipedia.org/wiki/Langlands_program#Functorialit...