Join the discussion
Write your take first — we'll ask for email only when you're ready to publish.
- Hacker News
- 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.by jdonaldson
- Where are the theorems and the proofs? Can the usual theorems of the "year of linear algebra" be proved using these arrows?by philip-b
- 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.