Category theory MOC

Free category

Free categories are the free objects in Category of small categories, cat forming the left adjoint to the forgetful functor to the Underlying quiver

The free category is constructed by considering all composable words, called paths, as morphisms.

Universal property

If is a Small category with Underlying quiver and is a quiver homomorphism then there exists a unique adjunct such that the following diagram commutes:

---

tidy | en | sembr