73.70 XModMorphismCat1Morphism

XModMorphismCat1Morphism ( mu )

If X1,X2 are the two crossed modules produced from C1,C2 by the function XModCat1, then for any mu : C1 -> C2 there is an associated morphism of crossed modules from X1 to X2. The result is stored as mu.xmodMorphism.

    gap> mu;
    Morphism of cat1-groups <[a4 ==> a4]-->[a4.k4 ==> a4]>
    gap> xmu := XModMorphismCat1Morphism( mu );
    Morphism of crossed modules <[a4->a4] >-> [k4->a4]>   

Previous Up Top Next
Index