Re: [Axiom-developer] Time for another crazy idea...

[Gabriel Dos Reis]

"Bill Page" <address@hidden> writes:

[...]

| is now a little "dated" in it's approach although still widely
| regarded as having established the foundations for the whole
| subject. From the point of view of applications of category theory
| in computer science, I think there are several better books for
| the beginner, e.g.
| 
|  Basic Category Theory for Computer Scientists
|  by Benjamin C. Pierce
|  http://www.amazon.com/gp/product/0262660717

I usually recommend Barr and Wells' to students.

-- Gaby