[Haskell-beginners] Why is this not a "category"?
John M. Dlugosz
ngnr63q02 at sneakemail.com
Sat Mar 29 05:18:46 UTC 2014
on
https://en.wikibooks.org/w/index.php?title=Haskell/Category_theory&stable=0#Hask.2C_the_Haskell_category
the second exercise in the box (see illustration there) asks
"(Harder.) If we add another morphism to the above example, it fails to be a category.
Why? Hint: think about associativity of the composition operation."
There are no answers-to-exercises. Can someone explain to me why adding another function
with the same type causes the Haskell type system to no longer form the Hask category?
(scratching head)
More information about the Beginners
mailing list