Date: Thu, 19 Jun 2003 21:13:29 -0400 (EDT) From: Andreas Blass <ablass at umich.edu> >Feferman has shown how to interpret most of category theory, including >large categories, in a conservative extension of ZFC. Could you please give a reference ? V.Kanovei