GAP: Crossed Modules and Cat1-Algebras
The XMod(Alg) package provides a collection of functions for computing with crossed modules and cat1-algebras and morphisms of these structures.
显示实验性软件包 显示社区软件包