mathlib

d6169aaf - feat(category_theory/subobjects): more about kernel and image subobjects