Category Theory for Computing Science (1990)

by Michael Barr, Charles Wells
Venue:Prentice-Hall International Series in Computer Science. Prentice-Hall International