Renamed EqualityOfMorphisms -> IsEqualForMorphisms