[Haskell-cafe] ... on type theory and category theory

I wonder why nobody mentioned this (yet; recently): Andrea Asperti and Giuseppe Longo Categories, Types and Structures. Category Theory for the working computer scientist. M.I.T. Press, 1991 You don't have to buy it. Go here, and fetch the book: http://www.di.ens.fr/~longo/download.html == Jerzy Karczmarczuk