A quiver $A$ consists of the following.
A type $A_0$, whose elements are called objects. Typically $A$ is coerced to $A_0$ in order to write $x:A$ for $x:A_0$.
For each $a,b:A$, a type $hom_A(a,b)$, whose elements are called arrows or morphisms.
Revision on April 25, 2022 at 17:27:33 by Anonymous?. See the history of this page for a list of all contributions to it.