Merge pull request #361 from JasonGross/isequiv-ap-setT

Prove that [ap pr1] is an equivalence for [HProp] and [HSet]
Prove that the precategory of sets is a category