Category theory for computing science - Barr, Michael, 1971- (Prentice-Hall, 1995)