Basic Category Theory for Computer Scientists (Foundations of Computing)
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.