added an explicit External Hom