mathlib3
chore(category_theory/concrete_category): take an instance, rather than extending, category
#2195
Merged
Merged