Implemented Object and Morphism methods to create dummy objects.
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Lazy category: methods for kernel lift
ToDoLists in constructors of morphisms.