Add some theorems about equivalence of equiv and iso in set_cat
Merge pull request #357 from JasonGross/set-cat-morphisms

Add some theorems about equivalence of equiv and iso in set_cat