Remix.run Logo
Quivers: A year of linear algebra by drawing arrows(lisyarus.github.io)
20 points by ibobev 4 days ago | 3 comments
jdonaldson 2 hours ago | parent | next [-]

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.

jnwatson an hour ago | parent [-]

But they aren't DAGs. They are multidigraphs.

philip-b an hour ago | parent | prev [-]

Where are the theorems and the proofs? Can the usual theorems of the "year of linear algebra" be proved using these arrows?