73.74 InclusionMorphism for cat1-groups

InclusionMorphism( S, C )

This function constructs the inclusion morphism S -> C of a sub-cat1-group S of a cat1-group C.

    gap> InclusionMorphism( subC, C );
    Morphism of cat1-groups <[Sub[h20 ==> c4]]-->[h20 ==> c4]>  

Previous Up Top Next
Index