mathlib

634eab10 - feat(category_theory/limits): add characteristic predicate for zero objects (#13511)