Comments on A Neighborhood of Infinity: Reverse Engineering Machines with the Yoneda Lemma...

Thanks a lot, this is very cool. I am just now rea...

2008-07-31T01:00:00.000-07:00

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.

單中杰, You're right. Maybe you can see the cause of...

2006-11-13T07:26:00.000-08:00

單中杰,

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.

I have not yet totally understood the Yoneda Lemma...

2006-11-13T04:03:00.000-08:00

I have not yet totally understood the Yoneda Lemma but the best introduction I found so far is When is one thing equal to some other thing? by Barry Mazur

Thanks for making the Yoneda lemma start to make s...

2006-11-12T23:14:00.000-08:00

Thanks for making the Yoneda lemma start to make sense to me.

It seems that :check3 a f" should be "f . a" instead, no?

Feynman defined a trivial theorem as one that had ...

2006-11-12T22:52:00.000-08:00

Feynman defined a trivial theorem as one that had been proved.