"Bill Page" <[EMAIL PROTECTED]> 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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
