It seems that the Category Theory discussion has come around again on the great wheel of life. These talks might be helpful for those who are lost.
part 1: http://vimeo.com/17207564 part 2: http://www.youtube.com/watch?v=yilkBvVDB_w Tim _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer
