commit in submodule
Merge branch 'master' of https://github.com/sebasguts/CategoriesForHomalg

* 'master' of https://github.com/sebasguts/CategoriesForHomalg:
  Updated gitignore.
  Installed logic for Source and Range.
  Sanitized sources to contain functions.
  Added IsInitial and IsTerminal as properties for objects.
  Removed more characters from latex math mode.
  File parser works
  First version of parser.
  Some more parser code.
  Some more code.
  Started theorem parser
First part of predicate logic parser.
Some tweaks in parser
Some functions to apply logic to category.
Updated submodule.
First filenames.
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  commit in submodule
Updated submodule.
Merge branch 'master' into logic_parser_devel

* master:
  Updated submodule.
  Updated submodule.
  commit in submodule
UniversalMorphismIntoDirectProduct

now also needs the diagram as an input.
UniversalMorphismFromCoproduct

now needs diagram as argument
Hooks for Predicates and Implications.
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  UniversalMorphismFromCoproduct
  UniversalMorphismIntoDirectProduct