Computing 3-dimensional groups: crossed squares and \(\mathrm{cat}^2\)-groups

DOI10.1016/j.jsc.2022.04.020zbMath1502.18001arXiv1911.12799OpenAlexW2990733833MaRDI QIDQ2156370

Christopher D. Wensley, Alper Odabaş, Zekeriya Arvasi

Publication date: 18 July 2022

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1911.12799

zbMATH Keywords

GAPcrossed square\(\mathrm{cat}^2\)-groupXMod

Mathematics Subject Classification ID

Classification of homotopy type (55P15) Nonabelian homological algebra (category-theoretic aspects) (18G50) Computational methods for problems pertaining to group theory (20-08) Computational methods for problems pertaining to category theory (18-08)

Uses Software

• GAP
• HAP
• XMod

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
• Modules croisés généralisés de longueur 2
• Van Kampen theorems for diagrams of spaces
• Higher-dimensional crossed modules and the homotopy groups of \((n+1)\)- ads
• Spaces with finitely many non-trivial homotopy groups
• Combinatorial homotopy and 4-dimensional complexes
• Crossed squares and combinatorial homotopy
• Modelling and computing homotopy types: I
• On algebraic models for homotopy 3-types
• Computing 2-dimensional algebras: Crossed modules and Cat¹-algebras
• Algebraic Models of 3‐Types and Automorphism Structures for Crossed Modules
• ENUMERATION OF CAT¹-GROUPS OF LOW ORDER
• A MILLENNIUM PROJECT: CONSTRUCTING SMALL GROUPS
• Homotopy 2-Types of Low Order
• Combinatorial homotopy. II

This page was built for publication: Computing 3-dimensional groups: crossed squares and \(\mathrm{cat}^2\)-groups