Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Reinventing string diagrams and other notation for symmetric monoidal categories.

Graphicallinearalgebra.net is a good resource.



That 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?


Yeah, my first thought was "you know, I think I've seen this before, in my category theory course in grad school."




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: