Category Theory for Computer Science (1990)

by M Barr, C Wells