73.62 IsCat1Morphism

IsCat1Morphism( mu )

This Boolean function checks that mu includes homomorphisms between the corresponding source and range groups, and that these homomorphisms commute with the pairs of tail and head homomorphisms.

    gap> IsCat1Morphism( mu );
    true