In this paper, we introduce the notions of cat1-2-groups, which are defined as group objects in the category of cat1-categories (or cat1-groupoids). We investigated their structure and established fundamental categorical equivalences that connect them with classical algebraic constructs. Central to our work was the introduction of cat1-crossed modules over groups, which were demonstrated to be an equivalent and more manageable algebraic model for cat1-2-groups. We established categorical equivalences between cat1-2-groups, crossed modules over 2-groups, and cat1-crossed modules. We also obtained cat1-2-groups as internal cat1-categories in the category of groups. Furthermore, we explored simplicial 2-groups whose Moore complex was of length one, proving their equivalence with cat1-2-groups. Our findings were extended to define
Publications
- Article type
- Year
Article type
Year
Open Access
Research Article
Issue
AIMS Mathematics 2026, 11(3): 6141-6161
Published: 15 March 2026
Downloads:0
Total 1
京公网安备11010802044758号