4 ms·
I'm not a natural mathematician (emphatically not!) and pretty much every attempt I've made to wrap my head around Category Theory has foundered on an onslaught
by spinningslate 6y ago
I'm not a natural mathematician (emphatically not!) and pretty much every attempt I've made to wrap my head around Category Theory has foundered on an onslaught of formalism by paragraph 2.
To be clear, I'm not knoocking that: for those who can and do grok things from that sort of treatment, all power to your elbow (and no small amount of admiration).
But it's not how my brain works. I need an intuitive understanding first: exemplars, informal pictures, whatever. I can only start unscrambling the formalism once I have the intuition.
The author's introductory blog post is a great example [0]. It's without doubt the best "bootstrap" I've come across - where "best" means "most understanable to me". I really admire people who can take abstract/complex subject matters and lay them out in a clear and accessible way for the layperson. Tai-Danae Bradley definitely fits in that Category (dubious pun intended!).
[0]: https://www.math3ma.com/blog/what-is-category-theory-anyway https://www.math3ma.com/blog/what-is-category-theory-anyway
EDIT: fixed typo
- lachenmayer 6y agoThe Graphical Linear Algebra[0] series is a fantastic introduction to a really fascinating application of category theory, representing vectors & matrices as flow diagrams (ie. monoidal categories) and deriving useful properties from those. The style is super friendly and builds up intuition slowly, while being completely rigorous. For a great example, check out the "Crema di Mascarpone"[1] chapter which introduces all the tools for writing rigorous mathematical proofs using flow diagrams. [0]: https://graphicallinearalgebra.net/ https://graphicallinearalgebra.net/ [1]: https://graphicallinearalgebra.net/2015/05/06/crema-di-mascarpone-rules-of-the-game-part-2-and-diagrammatic-reasoning/ https://graphicallinearalgebra.net/2015/05/06/crema-di-masca...