> Type theory isn’t particularly heavy in terms of jargon compared to other foundational theories like category theory or set theory.

And anyone who thinks their own area doesn't have jargon has just forgotten how to recognize it.