[FOM] Alternative foundations?

T.Forster at dpmms.cam.ac.uk T.Forster at dpmms.cam.ac.uk
Fri Feb 21 15:59:37 EST 2014

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!!

More information about the FOM mailing list