Coverings of internal groupoids and crossed modules in the category of groups with operations

TL;DR

This paper investigates the properties of covering morphisms in internal groupoids and crossed modules within the category of groups with operations, expanding the understanding of their structural relationships.

Contribution

It provides new results on the nature of coverings in internal groupoids and crossed modules in the context of groups with operations.

Findings

Established conditions for covering morphisms of internal groupoids.

Derived results on coverings of crossed modules of groups with operations.

Enhanced the theoretical framework for internal groupoid coverings.

Abstract

In this paper we prove some results on the covering morphisms of internal groupoids. We also give a result on the coverings of the crossed modules of groups with operations.