Comment
Merge branch 'master' of https://github.com/sebasguts/CategoriesForHomalg

* 'master' of https://github.com/sebasguts/CategoriesForHomalg:
  Updated packageinfo
Implications between ZeroObject and Initial/TerminalObject
Fixed filters for Initial/TerminalObject
Removed CanComputeMorphism*ZeroObject
Concistency of WithGiven functions

KernelEmbWithGivenKernel must not be used in the
derivation of methods. Same is true for
CokernelProjectionWithGivenCokernel.
Product of one object is another object.