Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Hugh Thomas joined to edit quiver
Welcome and thanks!
originally the entry said that "a quiver is a free category on a directed graph".
Since this is not the way quivers are thought of in the traditional literature, I have now reworked the entry a bit. Starting from saying what the usual literature has I try to motivate why it may be better to identify the concept of quiver with that of free category.
One should maybe remakr that this is a situation similar to functor/presheaf. As entities both are the same, but the different names indicate different things we want to do with them.
1 to 5 of 5