News for hackers. Stuff that matters.

A comment on Matrices, diagrammatically.

Re:Matrices, diagrammatically by marxshrugged on Wednesday June 10, 2015 @05:05PM (#9695384)
I am still trying to wrap my head around this, but the parallels with functional programming are striking.
[ Parent | on HN ]
Re:Matrices, diagrammatically by Garlef on Wednesday June 10, 2015 @09:07PM (#9696780)
String diagrams are a way to describe morphisms (think functions) in monoidal categories.

A construction using monoidal categories (or a slight generalisation) can be used to give a categorical model for arrows.

http://bentnib.org/arrows.pdf

This gives rise to these diagrams:

https://www.haskell.org/arrows/

[ Parent | on HN ]