19 Apr
2006
19 Apr
'06
7:14 a.m.
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.