[12:52 AM] tel
in the 60s (?) the french school of algebraic geometry used a LOT of category theory, spurred on by Grothendieck
so the joke goes that an american is giving a talk in Paris on some very formal notion in number theory
but he’s really worried because he can’t speak French, the entire hall is clearly confused and lost, his presentation is failing
but then finally the head of the department perks up and goes “Oh, oh, class, I get it now. He’s just talking about the endo-strong functor on the sheaf of abelian grothendieck constructions over étale stacks!"
and the whole class visibly relaxes finally able to follow along