Infinity Category Theory Offers a Bird’s-Eye View of Mathematics
I&#x27;ve recently been studying category theory, mostly from Riehl&#x27;s book, a few years after finishing my undergraduate math degree at a well-regarded school.  I can&#x27;t help but feel a little cheated that not one of my professors thought it was important to show us a little category theory.<p>Learning category theory has brought clarity that I never felt as a student.  I always had this strange feeling that many of my courses wasted time proving &quot;the same&quot; facts over and over again.  From group theory, to linear algebra, to topology, to measure theory.  We&#x27;d spend most of the semester proving some trivial facts about morphisms and functors, just specialized to an unfamiliar category, and by the time we were done, we only had time to prove one or two interesting theorems before the semester ended.<p>Back then, I had stumbled upon some Wikipedia pages about category theory, but all the jargon seemed impenetrable at the time.  Now, I really wish it had part of the curriculum from the very beginning.  Simply giving students in an abstract algebra class the simple definitions for category, functor, and natural transformation would go a long way.  Math programs should probably also start teaching Haskell or Coq in the first or second year.