Definition of hom-functor

[rjraya]

Example 3.23 should swap around the composition of f p g to g p f.

Also, the two components of the bifunctor should be in the reverse order.

Sorry, I'm not sure how to compile your project, I would change it myself otherwise.