4 ms·
Reinventing string diagrams and other notation for symmetric monoidal categories. Graphicallinearalgebra.net is a good resource.
by openfuture 6y ago
Reinventing string diagrams and other notation for symmetric monoidal categories.
Graphicallinearalgebra.net is a good resource.
- galaxyLogic 6y agoThat is quite fascinating including the fact that much of it seems to have been invented in the 1600s. Why didn't they teach me this stuff in school? Does diagrammatic Linear Algebra show us that in fact Lambda Calculus and Linear Algebra are really very related?
- pmiller2 6y agoYeah, my first thought was "you know, I think I've seen this before, in my category theory course in grad school."