Basic Category Theory for Computer Scientists. Foundations of Computing (1991)

by Benjamin C Pierce