mathlib3

refactor(category_theory/single_obj): migrate to bundled morphisms

#1330

Merged