Advanced Search

Now showing items 1-1 of 1

    • Underlying groupoids 

      In this paper we describe a package XMOD [8] of functions for computing with crossed modules, their morphisms and derivations; $cat^1$-groups, their morphisms and sections, written using the GAP [7] group theory programming ...