@nandi.latha.org

a category is a quiver under the free functor https://latha.org