73.65 Operations for morphisms of cat1-groups

Special operations defined for morphisms of cat1-groups are stored in the record structure Cat1MorphismOps which is based on MappingOps. Every morphism of cat1-groups mor has field mor.operations set equal to Cat1MorphismOps;.

    gap> IsMonomorphism( mu );
    true
    gap> IsEpimorphism( mu );
    false
    gap> IsIsomorphism( mu );
    false
    gap> IsEndomorphism( mu );
    false
    gap> IsAutomorphism( mu );
    false   

Previous Up Top Next
Index