IdentitySubCat1( C )
Every cat1-group {cal C} has an identity sub-cat1-group whose source and range are the identity subgroups of the source and range of {cal C}.
gap> IdentitySubCat1( SC );
cat1-group [Id[c3^2|Xc2 ==> s3]]
GAP 3.4.4