tag:blogger.com,1999:blog-11295132.post116327178667416915..comments2015-03-09T08:25:32.318-07:00Comments on A Neighborhood of Infinity: Reverse Engineering Machines with the Yoneda LemmaDan Piponihttps://plus.google.com/107913314994758123748noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-11295132.post-40345565379681918192008-07-31T01:00:00.000-07:002008-07-31T01:00:00.000-07:00Thanks a lot, this is very cool. I am just now rea...Thanks a lot, this is very cool. I am just now reading about the YL in 'Category theory for computing science' and I felt a strong desire to find an explanation in haskell. Would be cool if someone wrote a book on CT with explanations in Haskell, it seems to be often a lot more clear and understandable than standard mathematical notation.jkffhttp://www.blogger.com/profile/16923431648214439769noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-54341478233693360432006-11-13T07:26:00.000-08:002006-11-13T07:26:00.000-08:00單中杰,
You're right. Maybe you can see the cause of...單中杰,<br /><br />You're right. Maybe you can see the cause of my error. I originally wrote the code using fmap to effect the composition as defined later.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-2330033469583156402006-11-13T04:03:00.000-08:002006-11-13T04:03:00.000-08:00I have not yet totally understood the Yoneda Lemma...I have not yet totally understood the Yoneda Lemma but the best introduction I found so far is <a href="http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf">When is one thing equal to some other thing?</a> by Barry Mazuralpheccarhttp://www.blogger.com/profile/14645433315403867431noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-2227687357954541472006-11-12T23:14:00.000-08:002006-11-12T23:14:00.000-08:00Thanks for making the Yoneda lemma start to make s...Thanks for making the Yoneda lemma start to make sense to me.<br /><br />It seems that :check3 a f" should be "f . a" instead, no?單中杰http://www.blogger.com/profile/04931354144168622269noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-38125972813926799962006-11-12T22:52:00.000-08:002006-11-12T22:52:00.000-08:00Feynman defined a trivial theorem as one that had ...Feynman defined a trivial theorem as one that had been proved.John Cowanhttp://www.blogger.com/profile/00249694466806473955noreply@blogger.com