Serre classes

Extensions of Mathlib's CategoryTheory/Abelian/SerreClass/: weak Serre classes, closed under kernels, cokernels, and extensions but not under subobjects and quotients, as quasi-coherence is on an arbitrary scheme.