mathlib3

fix(category_theory): remove duplication of unitors and associators for functors

#971

Merged