Showing changes from revision #1 to #2:
Added | Removed | Changed
A quiver consists of the following.
A type , whose elements are called objects. Typically is coerced to in order to write for .
For each , a type , whose elements are called arrows or morphisms.