mathlib

1961b61f - chore(category_theory/concrete_category): take an instance, rather than extending, category