Implemented method to add special method.
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Installed: EpiMonoFactorization
  Bugfix: IsWellDefined propagation of attributes
  Bugfix: Dominates, Codominates (swapped method implementations)
  Bugfix: Codominates, Dominates recursion
  example: VectorSpacesPullback
  IsIsomorphism method
ToDoList.
Started Serre Quotient.
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Simplified method: GeneralizedMorphismFromFactorToSubobject
Added missing CanComputes in GeneralizedMorphismCategory.gi