mathlib3

31699708 - feat(category_theory/kernels): helper lemmas for constructing kernels (#3439)

feat(category_theory/kernels): helper lemmas for constructing kernels (#3439) This does for kernels what #3398 did for pullbacks. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>