Pregroupoids and their enveloping groupoids

Simple item page
dc.creatorKock, Anders
dc.date2005-02-03
dc.date.accessioned2026-07-07T05:16:40Z
dc.date.available2026-07-07T05:16:40Z
dc.descriptionWe 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.
dc.identifierhttps://arxiv.org/abs/math/0502075
dc.identifierhttp://arxiv.org/abs/math/0502075
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/74072
dc.subjectCategory Theory
dc.subjectDifferential Geometry
dc.subject20L05; 58H05
dc.titlePregroupoids and their enveloping groupoids
dc.typetext

Files

Collections

arXiv