Re:Infinity Category Theory Offers a Bird’s-Eye View of Math...
by thatmathguy on Thursday September 16, 2021 @11:34AM
(#28553136)
>Textbook authors let some categorical language slip through so the time, and I think eductors are doing students a disservice my neglecting it.
I agree. When teaching, I try to choose my terms carefully so someone would not go astray from the subject matter. It is remarkable how easy it is to get stuck on a side-quest with looking up abstract terms, while-so missing the main topic. imo the graceful way to handle it is to drop references (and disclaimers in case they are time-consuming) when introducing new things.
Somehow math learning has the property that 'struggle with x, finish x. learn y. if I knew y before x it would've been so much smoother!' sounds correct, but in practice it often does not go so well.
Textbook authors let some categorical language slip through so the time, and I think eductors are doing students a disservice my neglecting it. For instance, I was utterly confused about the "natural" isomorphism between a vector space and its double dual, as well as the "universal property" of tensor products, free modules, etc.. I also saw commutative diagrams in my complex analysis and topology books, but no one bothered to explain where they come from or what the rules are. Much later I finally took the time to study category theory on my own, and I can't help but think the whole experience would have been much more efficient had my professors exposed us to the idea of working with abstract morphisms much earlier.