mathlib3

fix(algebra/category): avoid deprecated lemmas

#2126

Merged