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.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|