Correct Functor definition, require Hom equivalence in Category to be an equivalence, and add some exercises.