News for hackers. Stuff that matters.

A comment on A circuit-like notation for lambda calculus (2015).

Re:A circuit-like notation for lambda calculus (2015) by openfuture on Monday August 17, 2020 @07:34PM (#24193555)
Reinventing string diagrams and other notation for symmetric monoidal categories.

Graphicallinearalgebra.net is a good resource.

[ Parent | on HN ]
Re:A circuit-like notation for lambda calculus (2015) by galaxyLogic on Monday August 17, 2020 @08:01PM (#24193746)
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?

[ Parent | on HN ]
Re:A circuit-like notation for lambda calculus (2015) by pmiller2 on Monday August 17, 2020 @08:13PM (#24193839)
Yeah, my first thought was "you know, I think I've seen this before, in my category theory course in grad school."
[ Parent | on HN ]