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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

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.

Other lists

Larmor Society 2009 HPS History Workshop Cambridge Zero Carbon Society Cambridge University Technology and Enterprise Club (CUTEC) The Centre for Music and Science (CMS) Cambridge University Student Pugwash Society Talks

Other talks

Phylogenetic hypothesis of the Oleeae tribe (Oleaceae)
 Diversification and molecular evolution patterns in plastid and nuclear ribosomal DNA Nuclear fuel manufacture at Westinghouse Springfields past, present and future Paracelsus' Chickens - Strange Tales from the History of Chemistry Far-infrared emission from AGN and why this changes everything What we don’t know about the Universe from the very small to the very big : ONE DAY MEETING
 

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