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 , #m/def/cat such that if . Its left-adjoint is the Free category.

#state/develop | #lang/en | #SemBr