mathlib3

chore(category_theory): replace some @[simp] with @[simps]

#1605

Merged