Category theory for computing science - Barr, Michael, 1971- (Prentice-Hall international series in computer science, 1990)