Thanks for the TTT errata. I asked for it as TTT has been a big influence on me (for studying 1. initial le models of Horn theories, 2. free lcc's over generic objects). Additionally I have found: p 89: Refs Osius ?74, 75? are not in the bibliography (p 337). p 137: Thm 5 seems to lack enough hypotheses to apply prop 4 in its pf. Why is cat C^T exact? p 172: P having a left adjoint does not imply T does. (T = P o op(P). E(A, PP B) nat iso E(A x P B, P 1) nat iso E(P B, P A).) But T having a left adjoint is irrelevant to T being a triple. Also, a few months ago, a Penn grad student claimed to me, without details, that section 7.5 on Freyd's n.n.o. thm contains a subtle bug. Perhaps I will met you at lics in Phil. (1st week) or ctrs in Montreal (2nd week) this june (1st 2 weeks). Thanks Jim Otto ======================================================