diagrams and more writing about internal hom for product etc.