University of Cambridge > Talks.cam > Category Theory Seminar > Geometric morphisms between relizability 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 between relizability toposes

Download to your calendar using vCal

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:

Note that ex-directory lists are not shown.

Other lists

MAB 117 , Mary Allan Building, Faculty of Education, (Homerton College site) Seminar Room, Leverhulme Centre for Human Evolutionary Studies, Department of Biological Anthropology, Fitzwilliam Street, Cambridge Institute for Manufacturing, University of Cambridge

Other talks

Morning Break / Group Photo Defining and detecting discrimination: a new way forward Online Causal Inference Seminar CSAR lecture: Decarbonizing road freight (TBC) Loke CTR Annual Meeting 2026 - Epigenetics of embryogenesis and placentation Shape modes of CP^1 vortices
 

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