[Haskell-cafe] adjoint of coproduct & diagonal

Daniel Fischer daniel.is.fischer at web.de
Sun Aug 3 13:26:20 EDT 2008


Am Sonntag, 3. August 2008 19:03 schrieb Jason Dusek:
>   So I guess the Wikipedia page has an error in it?
>
>     http://en.wikipedia.org/wiki/Coproduct#Definition
One typo, it must be f_j = f o i_j instead of f_j = i_j o f, apart from that 
it looks correct.
Didn't go through the examples, though, there may be further mistakes.


More information about the Haskell-Cafe mailing list