Category theory MOC Underlying quiver Let be a Small category. The underlying quiver is the quiver whose vertices are and whose edges are the morphisms of , cat such that if . Its left-adjoint is the Free category. develop | en | sembr