University of Cambridge > > Category Theory Seminar > The Category of Sets according to Stratified Set Theories

The Category of Sets according to Stratified Set Theories

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Julia Goedecke.

It is an old result of McLarty’s that, according to NF, the category of sets is not cartesian closed. NF has a universal set, but that is not the only reason for the result. The assertion that the universe of sets is cartesian-closed has significant consistency strength in set theories all of whose axioms are stratified, and McLarty’s result is the tip of an iceberg, some of which I shall try to reveal on Tuesday.

This talk is part of the Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity