Mathematics – Category Theory
Scientific paper
2005-02-03
Mathematics
Category Theory
Scientific paper
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.
No associations
LandOfFree
Pregroupoids and their enveloping groupoids does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Pregroupoids and their enveloping groupoids, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Pregroupoids and their enveloping groupoids will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-177444