"Databases are Categories" (again)

"Databases are Categories" (again)

[Vasili I. Galchin]

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/ ]

Re: "Databases are Categories" (again)

[Valeria de Paiva]

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/ ]

Re: "Databases are Categories" (again)

[Toby Bartels]

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/ ]

Re: "Databases are Categories" (again)

[Timothy Porter]

   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/ ]

Re: "Databases are Categories" (again)

[Eduardo J. Dubuc]

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/ ]