mathlib

e4843ea0 - chore(category_theory/subobject): split off specific subobjects (#7167)