2 comments
Where are the theorems and the proofs? Can the usual theorems of the "year of linear algebra" be proved using these arrows?
I like directed acyclic graphs and/or DAG because it's a succinct description and contract. Trying to change the name of it makes me quiver with uncertainty.