mathlib3

6e675366 - feat(category/limits): kernel.map (#7623)

feat(category/limits): kernel.map (#7623) A generalization of a lemma from LTE, stated for a category with (co)kernels. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>