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