EqualityOfMorphisms in GeneralizedMorphismCategory
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  EqualityOfMorphisms in GeneralizedMorphismCategory

Conflicts:
	examples/VectorSpaces.gi