4 ms·
The lack of eponymous names used in category theory, for example, do nothing to aid in learning it. The term functor is no more descriptive than Carnap mapping.
by aaron-santos 6y ago
The lack of eponymous names used in category theory, for example, do nothing to aid in learning it. The term functor is no more descriptive than Carnap mapping.
- gnodar 6y agoNo more descriptive, but IMO more memorable.
- magicalhippo 6y agoIf it's not descriptive, then memorable is a good substitute. Been many years since I went to uni and haven't used much of the math since, but I still recall the Cauchy-Schwarz inequality, what the Kronecker product is and how to do Taylor expansion.
- mycl 6y agoThe Yoneda Lemma is really some kind of "fundamental theorem" of elementary category theory. Then there are Freyd's Adjoint Functor Theorem, Kan extensions and probably others I'm forgetting...