Re: [Haskell-cafe] adjoint of coproduct & diagonal

Derek Elkins <derek.a.elkins@gmail.com> wrote:

h : A -> C and k : B -> C [...snip...] h : A -> B k : C -> D

Are these the same h and k? -- ́́_jsn ́