Categories, Types and Structures.: An Introduction to Category Theory for the working computer scientist
Andrea Asperti, Giuseppe O. Longo · HAL (Le Centre pour la Communication Scientifique Directe) · 1991
Andrea Asperti and Giuseppe Longo. Categories, Types and Structures. Category Theory for the working computer scientist. M.I.T. Press, 1991 (pp. 1 - 300)(currently out of print and downloadable upon kind permission of the M.I.T. Press).