a category is a quiver under the free functor

https://latha.org