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

  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

Geometric morphisms of Realizability Toposes

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.

Other lists

Online via zoom & Kings Hedges Room Average on Saturdays: 7635.33898305 kWh Cambridge Judge Business School, LT3

Other talks

The Jiangmen Underground Neutrino Observatory (JUNO): Status and First Physics Results FILM: One With The Whale External Seminar - Jenn Brophy TBC Talk TBC Title to be confirmed Title to be confirmed
 

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