alt Hacker News> I’ve long thought that more of us could devout time to serious maths problems if they were written in a language we all understood.
That assumes it’s the language that makes it hard to understand serious math problems. That’s partially true (and the reason why mathematicians keep inventing new language), but IMO the complexity of truly understanding large parts of mathematics is intrinsic, not dependent on terminology.
Yes, you can say “A monad is just a monoid in the category of endofunctors” in terms that more people know of, but it would take many pages, and that would make it hard to understand, too.
Precisely. Think of mathematics like a game.
Players of magic the gathering will say a creature "has flying" by which they mean "it can only be blocked by other creatures with reach or flying".
Newcomers obviously need to learn this jargon, but once they do, communication is greatly facilitated by not having to spell out the definition.
Just like games, the definitions in mathematics are ethereal and purely formal as well, and it would be a pain to spell them out on every occasion. It stems more from efficient communication needs then from gatekeeping.
You expect the players of the game to learn the rules before they play.