On direct product, semidirect product of groupoids and partial actions
Víctor Marín,Héctor Pinedo
DOI: https://doi.org/10.48550/arXiv.2012.14483
2020-12-29
Abstract:We present some constructions of groupoids as: direct product, semidirect product, and we give necessary and sufficient conditions for a groupoid to be embedded into a direct product of groupoids. Also, we establish necessary and sufficient conditions to determine when a semidirect product is direct. Moreover, we establish an equivalence between the category of strict partial groupoid actions and the category of star injective functors. Finally, we give a relation of categorical type between the actions groupoids (G, X) and (G, Y), being Y a universal globalization of X.
Category Theory