mathlib

e41303d6 - feat(category_theory/limits/shapes): preserving (co)kernels (#12419)

feat(category_theory/limits/shapes): preserving (co)kernels (#12419) This is work towards showing that homology is a lax monoidal functor. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>