guillaumebrunerie Adjunction between products and internal homs