mathlib

852064aa - refactor(category_theory/subobject): split into smaller files (#6796)

refactor(category_theory/subobject): split into smaller files (#6796) No change in content, just splitting into four files. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>