feat(category_theory): images in Ab and Type (#2101)
* not stacked on top of limits/colimits
* comment
* add ext to add_monoid_hom.ext
* fix
* cleanup
* suggestions from review
* fix
* use more existing structure
* fix names
* oops
* linter
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
