University of Cambridge > > Junior Category Theory Seminar > Geometric morphisms of Realizability Toposes

Geometric morphisms of Realizability Toposes

Add to your list(s) Download to your calendar using vCal

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

A Realizability Topos is a topos based on a certain abstract notion of computation. Geometric morphisms of realizability toposes provide an interesting way of comparing these notions of computation. In my talk we will discuss some long-known results as well as some more recent developments in this area. The talk should be enjoyable for any interested student as well as dyed-in-the-wool topos theorists.

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-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity