3 ms·
It may be professional deformation speaking, but they seem to be using "applied category theory" in a coherent and natural sense: they mean the theory of monoid
by neel_k 7y ago
It may be professional deformation speaking, but they seem to be using "applied category theory" in a coherent and natural sense: they mean the theory of monoidal categories, (a) viewed as a generalization of linear algebra, and (b) omitting logic and programming language semantics as applications.
Given the centrality of linear algebra to applied mathematics (even in places where you wouldn't first expect, like the theory of regular expressions and finite automata), this seems like a perfectly sensible coinage.
(Even though I must admit I get my back up at the omission of categorical proof theory, it's perfectly natural as a sales pitch -- type theorists don't need to be convinced of the utility of category theory!)
- luxbock 7y ago> Given the centrality of linear algebra to applied mathematics (even in places where you wouldn't first expect, like the theory of regular expressions and finite automata) Where can I read more about this?
- doneata 7y agoStephen Dolan's pearl "Fun with semirings" might be relevant: http://stedolan.net/research/semirings.pdf http://stedolan.net/research/semirings.pdf But I would also like to know what other resources Neel has to recommend.
- eru 7y agoIf you like Matlab more than Haskell, try https://www.goodreads.com/book/show/11768822-graph-algorithms-in-the-language-of-linear-algebra https://www.goodreads.com/book/show/11768822-graph-algorithm...