Eigenstuff with diagrams: string diagrams as specification language for matrices
graphicallinearalgebra.net