mathlib3

154fda29 - feat(category_theory/subobjects): more about kernel and image subobjects (#7467)

feat(category_theory/subobjects): more about kernel and image subobjects (#7467) Lemmas about factoring through kernel subobjects, and functoriality of kernel subobjects. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>