added erratum for hom-typo in categories