search

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Other
10.88k stars 578 forks source link

Fixed little haskell snippet #194

Closed rokn closed 2 years ago

rokn commented 5 years ago

I'm not sure if this is correct, but it should be. Some lines before that it is said that f1 and f2 are of types a -> a' and b -> b' so it's only logical in the definition of bimap their corresponding types to be the same.

MazeChaZer commented 5 years ago

When I read this section I first thought that the example was wrong, too. After reading it again closely it made sense.

drupol commented 2 years ago

I guess we can now close this, feel free to reopen if you feel like I was wrong.