mathlib

2e433a50 - feat(category_theory/groupoid/free): free groupoid on a quiver (#16666)

feat(category_theory/groupoid/free): free groupoid on a quiver (#16666) Define the free groupoid on a quiver and prove its universal property. Co-authored-by: Junyan Xu <junyanxumath@gmail.com>