Prove that the precategory of sets is a category
Merge pull request #362 from JasonGross/set-category-univalent

Set category is univalent