The Definitive Glossary of Higher Mathematical Jargon

A 106-term comprehensive glossary of higher mathematical jargon, featuring concepts from "abstract nonsense", "constructive proof" to "transport of structure" and "without loss of generality".