[Haskell-cafe] Questions for Free!
wchogg at gmail.com
Sun Oct 19 20:33:22 EDT 2008
So I have a bit of a follow up question after reading Theorems For
Free! this weekend.
There's a throw away comment near the beginning about how you can
recast the results into category theoretic form, but using lax natural
Now I'm assuming this means a natural transformation but where the
"naturality" square holds only up to isomorphism instead of equality,
but is that correct? Also, why would you need such a condition?
More information about the Haskell-Cafe