mathlib3

6fa9bfeb - feat(category_theory/subobject): minor tweaks