Let π’ be a Small category. The underlying quiverπ(π’) is the quiver whose vertices are Obβ‘(π’) and whose edges are the morphisms of π’, cat
such that if πβπ’(π,π)βΊπβπ(π’)(π,π).
Its left-adjoint is the Free category.