### Large Sets: The Movie

#### Posted by Tom Leinster

Earlier this year, I wrote a series of blog posts on large sets — or large cardinals, if you prefer — in categorical set theory. Thinking about large sets in Glasgow’s beautiful green spaces, writing those posts, and chatting about them with people here at the Café was one of the highlights of my summer.

Juan Orendain at the Universidad Nacional Autónoma de México was kind enough to invite me to give a talk in their category theory seminar, which I did today. I chose to speak about large sets, first giving a short introduction to categorical set theory, and then explaining some of the key points from this summer’s blog posts.

You can watch the video or read the slides.

Posted at November 17, 2021 10:48 PM UTC
## Re: Large Sets: The Movie

How would one define a Reinhardt set (i.e. Reinhardt cardinal in material set theory) in structural set theory (possibly with universes), and prove in a structural manner that the existence of a Reinhardt set is inconsistent with ETCS+Replacement?