mathlib3

56030922 - chore(category_theory): rename to category