Question

If standard function composition is defined as:

 (define compose
   { (B → C) → (A → B) 
             → (A → C) }

   F G -> (λ X (F (G X))))

What type of composition does the below function describe? Is there a particular name for it in category theory?

 (define compose-2
   { (A → (X → C)) → (B → X)
                   → (A → B → C) }

   F G -> (λ Y (compose (F Y) G)))

composition diagram

No correct solution

Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange
scroll top