Subject: categories: Re: [Fwd: du Sautoy]

From: Steve Vickers <[email-masked]>
Date: Wed, 19 Apr 2006 08:14:52 +0100

On 18 Apr 2006, at 14:59, Marta Bunge wrote:

> ... I now see that catgegory theory must come after the
> "mathematical experience", not before. ...

Dear Marta,

I think this is exactly the key to the success of Mac Lane's book.
Throughout, he shows how working mathematicians are applying category
theory already without realizing it. One of the basic expositional
problems for teaching CT in computer science is that our students do
not have the body of mathematical experience that Mac Lane presumed.

Regards,

Steve.