6 citations · 16 across the 5 of their papers we have counts for
1 paper · 1 filter
Anders Kock
We prove that the forgetful functor from groupoids to pregroupoids has a left adjoint, with the front adjunction injective. Thus we get an enveloping groupoid for any pregroupoid.…