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.
顯示實驗性套件 顯示社群維護套件