Basic category theory for computer scientists - Pierce, Benjamin C. (MIT Press, 1991)
Keywords: Computer science -- Mathematics.; Categories (Mathematics); elektronické knihy; electronic books