Category Theory for Computing Science. prentice-Hall (1990)

by M Barr, C Wells