Computational Category Theory (Prentice-hall International Series in Computer Science)