On Mar 2, 2010, at 5:59 AM, Dan Doel wrote:
http://haskell.org/haskellwiki/Free_monad
http://haskell.org/haskellwiki/Free_structure
Nice, thank you for writing this.
Feel free to make suggestions/changes.
I enjoyed reading it although Section 3 is challenging for people
(like me) who know algebra but do not know the exact meaning of the
mentioned terminology from CT even if they have read about it before.
It would be helpful to add intuitive explanations. For example, after
"Simplest" (in the sense we want) structures in that category
will then
either be initial or terminal, and thus, freeness can be defined
in terms
of such universal constructions.
I missed sentences
Intuitively, "initial" means that ... and thus relates to the
informal
description because ...
Final means ... and expresses the informal idea of ...
Similarly, subsequent uses of CT terminology (like 'forgetful functor'
and 'natural transformation') could be related to intuitions given
before (or new ones).
Sebastian
--
Underestimating the novelty of the future is a time-honored tradition.
(D.G.)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
