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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

The Category of Sets according to Stratified Set Theories

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Webinar & FW11, Computer Laboratory, William Gates Building. Room LG 18, Faculty of Law, University of Cambridge, West Road, CB3 9DZ After-ISIS: the future of Raqqa and Northern Syria

Other talks

Early cancer clinical trials Online Causal Inference Seminar Title TBC Talk TBC Scientific Steering Committee meeting Pancreatic cancer - the clinical challenge;  Why the microenvironment matters during pancreatic cancer progression and treatment
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity