Implemented algorithm: GeneralizedMorphismFromFactorToSubobject
Merge branch 'master' of momo.mathb.rwth-aachen.de:/home/gutsche/gap/repos.git/CategoriesForHomalg

* 'master' of momo.mathb.rwth-aachen.de:/home/gutsche/gap/repos.git/CategoriesForHomalg:
  Added example for generalized morphism PreCompose.

Conflicts:
	examples/VectorSpaces.gi
Pullback and pushout error handling
Second example for PreCompose of generalized morphisms.
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Pullback and pushout error handling
  Implemented algorithm: GeneralizedMorphismFromFactorToSubobject

Conflicts:
	examples/VectorSpaces.gi