Basic Category Theory for Computer Scientists (1991)

by Benjamin C Pierce