The category of partial group actions: quotients, (co)limits and groupoids

Abstract

We consider the category of partial actions, where the group and the set upon which the group acts can vary. Within this framework, we develop a theory of quotient partial actions and prove that this category is both (co)complete and encompasses the category of groupoids as a full subcategory. In particular, we establish the existence of a pair of adjoint functors, denoted as $\Phi :\text{Grpd}\to \text{PA}$ and $\Psi :\text{PA}\to \text{Grpd}$, with the property that $\Psi \Phi \cong 1_{\text{Grpd}}$. Next, for a given groupoid $\Gamma$, we provide a characterization of all partial actions that allow the recovery of the groupoid $\Gamma$ through $\Psi$. This characterization is expressed in terms of certain normal subgroups of a universal group constructed from $\Gamma .$

The previous version was an incorrect file that was uploaded. I have corrected some typographical errors and improved the proof of Proposition 2.18