Basic Category Theory for Computer Scientists - Pierce (MIT Press, 1991)
Monograph
fulltext
Keywords: Computing and Processing