Pregroupoids and their enveloping groupoids

    Publikation: Working paper/Preprint Working paperForskning

    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.
    OriginalsprogEngelsk
    Antal sider19
    StatusUdgivet - 2005

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Pregroupoids and their enveloping groupoids'. Sammen danner de et unikt fingeraftryk.

    Citationsformater