Aarhus University Seal

Pregroupoids and their enveloping groupoids

Research output: Working paper/Preprint Working paperResearch

  • Department of Mathematical Sciences
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. We prove that the category of torsors is equivalent to that of pregroupoids. Hence we also get enveloping groupoids for torsors, and for principal fibre bundles.
Original languageEnglish
Number of pages19
Publication statusPublished - 2005

See relations at Aarhus University Citationformats

ID: 391920