[frak_your_couch]

Yeah, I came across Barr and Wells 5 years ago in grad school and found it almost impossible to buy. I ended up getting a copy from the library and photocopying and rebinding it. Like you said, it was ok, but hardly comprehensive. Maybe it's easier to find now.

Anyway, nice paper..and thanks for making me think of category theory again. Maybe I'll pull out my old copy of "CT for the working mathematician" and give it (and haskell) another go.

Edit: I came across this: http://www.amazon.com/gp/product/0521422264/ref=pd_lpo_k2_dp...

Anyone gone through this book?

[robinhouston]

I think you can buy the Barr and Wells book via the web page I gave. In fact I think that's how I got my copy, which must have been around the same time you were looking for it.

I haven't read Walters book, & would also be interested to hear reactions from anyone here who has.