feat(library/data/category.lean) the definition of category doesn't depe...

...nd on 'mor' anymore; make iso a class; add theorems