"Databases are Categories" (again)
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/ ]
I tryed to follow the talk, it seems interesting or at least worth to listen. But I gave up because it is (for me) very annoying to follow a talk were you are forced to look at the face of the speaker instead of looking at the projection slides he is referring to (or talking about). He says, you see this, you see that, and you do no see anything !!. Galois people should give instructions to the camera man to focus on the slides and not on the speaker, who we can perfectly hear without having to look at him. Slides are silent. Vasili I. Galchin 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/ ]
Some slides are available at http://www.uoregon.edu/~dspivak/cs/galois.pdf Tim On 11/08/2010 15:51, Eduardo J. Dubuc wrote:
I tryed to follow the talk, it seems interesting or at least worth to listen. But I gave up because it is (for me) very annoying to follow a talk were you are forced to look at the face of the speaker instead of looking at the projection slides he is referring to (or talking about). He says, you see this, you see that, and you do no see anything !!.
Galois people should give instructions to the camera man to focus on the slides and not on the speaker, who we can perfectly hear without having to look at him. Slides are silent.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Eduardo J. Dubuc wrote in part:
I gave up because it is (for me) very annoying to follow a talk were you are forced to look at the face of the speaker instead of looking at the projection slides he is referring to (or talking about).
The slides are also available at that same link. Theoretically, you are supposed to have the slides and video up at once, in separate windows, I think. I don't find that convenient, however. --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
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/ ]
participants (5)
-
Eduardo J. Dubuc -
Timothy Porter -
Toby Bartels -
Valeria de Paiva -
Vasili I. Galchin