Recently, I browsed in the book The Logical Foundations of Mathematics by William S. Hatcher (appeared about 1982, now out of print) and found much more discussion on the possibility of categorical foundations in it than in most of the "baker's dozen" books mentioned by V. Pratt on Fri, 27 Feb 1998 19:15:58. Till Mossakowski