73.33 Operations for morphisms of crossed modules

Special operations defined for morphisms of crossed modules are stored in the record structure XModMorphismOps which is based on MappingOps. Every crossed module morphism mor has field mor.operations set equal to XModMorphismOps;.

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

Previous Up Top Next
Index