Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  EqualityOfMorphisms in GeneralizedMorphismCategory

Conflicts:
	examples/VectorSpaces.gi
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Addition for generalized morphisms
  ToDoList for HonestRepresentative
  fixed Inverse and implemented HonestRepresentative
  testfiles: equality for generalized morphisms
  Swapped arguments for ProjectionInFactor
  Swapped arguments for InjectionOfCofactor
  Renamed: ProjectionInFactorWithGivenPullback -> ProjectionInFactorOfPullbackWithGivenPullback
  Added testfiles for GeneralizedMorphismsCategory

Conflicts:
	examples/VectorSpaces.gi
New ToDo, small fixes.
IsWellDefined methods

usage: RestrictedGeneralizedMorphismCategory