Pregroupoids and their enveloping groupoids
classification
🧮 math.CT
math.DG
keywords
envelopinggroupoidspregroupoidsprovetorsorsadjointadjunctionbundles
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.