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

[Seth Gordon]

Are Benjamin C. Pierce's _Types and Programming Languages_ and/or _Basic 
Category Theory for Computer Scientists_ suitable for self-study?

(Do they have problem sets that can be checked by either looking up 
answers in The Back of the Book, or by trying to compile/run some code 
that the student writes?)

FWIW, my formal math education--well, all the formal math education that 
I can remember at this point--stopped at freshman calculus plus one 
semester of statistics.