fixed subscript typo in definition of functor
added erratum for hom-typo in categories
Merge pull request #738 from benediktahrens/hom-typo

fixed subscript typo in definition of functor
erratum merge syntax
Mark Errata (auto)