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.