Looks like an introductory tutorial on the application of category theory to linear algebra. These quivers are lovely small categorical constructions. Actually, q.uiver.app is a visual tool to use the quiver package in latex, which is used to draw commutative diagrams in category theory.
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.
Looks like an introductory tutorial on the application of category theory to linear algebra. These quivers are lovely small categorical constructions. Actually, q.uiver.app is a visual tool to use the quiver package in latex, which is used to draw commutative diagrams in category theory.
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.
Quiver (a directed graph with multiple edges) is a standard mathematical term:
https://en.wikipedia.org/wiki/Quiver_(mathematics)
https://ncatlab.org/nlab/show/quiver
A quiver is simply just the data of a category, i.e. a "category" without any of the laws, namely identity and composition.
They're not isomorphic to DAGs since Quivers can have multiple edges between vertices.
But they aren't DAGs. They are multidigraphs.
Where are the theorems and the proofs? Can the usual theorems of the "year of linear algebra" be proved using these arrows?