A. Asperti, G. Longo. Categories, Types and Structures. Category Theory for the working computer scientist. M.I.T. Press The book     INDEX