Product of one object is another object.
Lazy category.
Source and range for dummy.
Inverse. Next step: Propagate knowledge.
Merge branch 'master' of https://github.com/sebasguts/CategoriesForHomalg

* 'master' of https://github.com/sebasguts/CategoriesForHomalg:
  Inverse. Next step: Propagate knowledge.
  Source and range for dummy.
  Lazy category.
  Product of one object is another object.
Some add methods.
Merge branch 'master' of https://github.com/sebasguts/CategoriesForHomalg

* 'master' of https://github.com/sebasguts/CategoriesForHomalg:
  Some add methods.