Dear Bob: In addition to the new errata from Jim Otto that I got a copy of this morning, I also recd directly the following, that you may want to distribute to the net. I HAVE NOT CHECKED OUT EITHER ONE, although Charles says the two errors reported below are correct(ly identified as errors). The sales having fallen to nearly infinitesimal, it is unlikely that there will ever be a second edition to include these errata in. =============================================================== I noted your errata for Toposes, Triples, and Theories, and apparently the errors I detected below were not on your list: 1. Page 27, second line from bottom: "T:S -> T" should be t:S -> T. 2. Page 53, middle of page: using "." as the composition operator and "n" for eta, the derivation should be i(T,LA)(L(f.h)) = nA.f.h = RLf.nD.h = RLf.i(T,LD)(Lh) = i(T,LA)(Lf.Lh) . - Dwight Spencer Dept. of Computer Science and Engineering Oregon Graduate Institute =============================================================== Meantime, Category Theory for Computing Science ought to be out about now. Cheers, Mike