[Haskell-cafe] adjoint of coproduct & diagonal

[Jason Dusek]

Derek Elkins <derek.a.elkins at 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

́