University of Cambridge > Talks.cam > Junior Category Theory Seminar > Classifying toposes and forcing

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹī¸ Information

Classifying toposes and forcing

Download to your calendar using vCal

If you have a question about this talk, please contact Sean Moss .

In this talk, I will present an overview of a well-known application of topos theory to logic that connects the theory of classifying toposes to the method of forcing in set theory. Starting with an introduction to classifying toposes, we see where both theories overlap and how this contributes to the understanding of forcing. I will assume familiarity with basic topos theory. If you have never seen forcing, this talk can serve as an introduction.

This talk is part of the Junior Category Theory Seminar series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Ffion Hague - 'The Women in Lloyd George's Life arly Cancer Institute, Adrian Way, Cambridge Biomedical Campus, Cambridge, CB2 0XZ Internal Test Venue 3

Other talks

Group Work Coexisting with carnivores? The lynx and wolf reintroduction debate Angular analyses of b -> s ee decays at LHCb Title to be confirmed Beyond Hubble: Studying the Earliest Galaxies with the James Webb Space Telescope Novel neuroimaging methods in Lewy body dementia
 

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