Basic Category Theory for Computer Scientists (1991)

by B Pierce