mathlib3

chore(*): renaming files constructing category instances

#1432

Merged