2-Dimensional Groups with Action : The Category of Crossed Module of Groups with Action

2022/01/14 by Alper Odabaş, Odabaş, Alper, Elis SOYLU YILMAZ +1
Computer Science · #18-08 #18G50 #Category Theory (math.CT) #FOS: Mathematics #Formal Methods in Verification #Group Theory (math.GR) #Logic, programming, and type systems

paper · pdf · doi:10.48550/arxiv.2201.05350

openalex publication_date 2022/01/14 · openalex created_date 2022/04/03 · openalex updated_date 2026/08/01

Abstract

In this paper, we define the notion of crossed modules of groups with action and investigate related structures. Functions for computing of these structures have been written using the GAP computational discrete algebra programming language.

Related

• Computing 2-Dimensional Algebras: Crossed Modules and Cat1-Algebras
• Strict 2-Groups are Crossed Modules
• Computation and Homotopical Applications of Induced Crossed Modules
• Computing 3-Dimensional Groups : Crossed Squares and Cat²-Groups
• Group actions on 2-categories