On: Proof of geometric Langlands conjecture so complex almost no one can explain it

[hackandthink]

I do not know anything about the Langlands program.

But I see a lot of categories and functors, so I guess they use, speak and think Category Theory.