rewrite: [Hom] -> the Category