Category Theory for Computing Science; Prentice-Hall international series in computer science (1995)

by M Barr, C Wells