2-Dimensional Groups with Action : The Category of Crossed Module of Groups with Action
Alper Odaba\c{s}, Elis Soylu Y{\i}lmaz

TL;DR
This paper introduces the concept of crossed modules of groups with action, explores their structures, and provides computational tools using GAP to analyze these algebraic objects.
Contribution
It defines crossed modules of groups with action and develops computational methods for their analysis using GAP.
Findings
Defined the notion of crossed modules of groups with action
Developed GAP functions for computing these structures
Explored related algebraic properties
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Formal Methods in Verification
