mathlib

7cc367b7 - feat(category_theory/subobject): minor tweaks (#7466)

feat(category_theory/subobject): minor tweaks (#7466) A few minor tweaks to the `subobject` API that I wanted while working on homology. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>