finish generalized composition, with a shiny diagram for the internal hom