Eigenstuff with diagrams: string diagrams as specification language for matricesgraphicallinearalgebra.net·2 pts·graphlinalg·0
A monoid is a category, a category is a monad, a monad is a monoidgraphicallinearalgebra.net·156 pts·graphlinalg·77