Commit 2025-10-03 14:43 3bddb2a6
View on Github →chore: replace CategoryTheory.FreeGroupoid with Quiver.FreeGroupoid (#30115)
As suggested by Riou in #29279, when we build the free groupoid on a category the name CategoryTheory.FreeGroupoid will be inappropriate and confusing. We put definitions in the file CategoryTheory.FreeGroupoid in the namespace Quiver.FreeGroupoid instead.