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

Classifying toposes and forcing

Add to your list(s) 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.

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