Thanks for the link. I looked at the slides and while the basic idea seems nice enough, usually saying "X is Y" is only useful if the identification allows you to prove interesting stuff, which doesn't seem to be the case. quite yet? perhaps? in any case, I'm always happy to see people arguing the usefulness of Category Theory for Computer Science anew, so thanks for the pointer! Regards, Valeria On Mon, Aug 9, 2010 at 9:12 AM, Vasili I. Galchin <vigalchin@gmail.com> wrote:
Hello,
I stumbled across this tech talk: http://www.galois.com/blog/2010/05/27/tech-talk-categories-are-databases/ I was wondering what others in this mail list think about Spivak's thesis. I apologize if already posted.
Regards,
Vasili
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]