[FOM] Alternative foundations?

[T.Forster at dpmms.cam.ac.uk]

On Feb 21 2014, jkennedy at mappi.helsinki.fi wrote:

>
>
>Set theory and category theory are bi-intepretable. As to the below:
>
>> Category theory itself furnishes several examples of objects that  
>> have no existence in set theory, such as the category of all sets.
>
>The category of all sets is interpreted in set theory as V_kappa,  
>kappa inaccessible.


This sounds a bit sweeping!!