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.
3 comments