mathlib3

ed579163 - feat(category_theory): functions to convert is_lawful_functor and is_… (#1258)

feat(category_theory): functions to convert is_lawful_functor and is_… (#1258) * feat(category_theory): functions to convert is_lawful_functor and is_lawful_monad to their corresponding category_theory concepts * Fix typo * feat(category): add mjoin_map_pure, mjoin_pure to the simpset (and use <$> notation)