Geometric morphisms between relizability toposes

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

• Peter Johnstone, DPMMS, Cambridge
• Tuesday 23 October 2012, 14:15-15:15
• MR5, Centre for Mathematical Sciences.

If you have a question about this talk, please contact Julia Goedecke.

In his thesis (1994), John Longley gave an elegant characterization of those geometric morphisms between realizability toposes which satisfy a certain Beck—Chevalley condition. In this seminar, I shall briefly recall Longley’s characterization, and then give the recently-discovered proof that the Beck—Chevalley condition is always satisfied.

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• MR5, Centre for Mathematical Sciences
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.