University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Categorical gluing and logical relations

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Categorical gluing and logical relations

Download to your calendar using vCal

If you have a question about this talk, please contact Nathanael Arkor .

Logical relations are a powerful technique to prove results of consistency, conservativity and all sort of properties of programming languages. The technique is very general, but can sometimes be a bit cumbersome in practice. It has a categorical counterpart, sconing, which was first used by Freyd. Sconing is a special case of a general gluing construction, first introduced by Artin for toposes. In this seminar I will introduce logical relations and show some examples. Then I’ll talk about a simple case of gluing, and how sconing bridges the gap.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

CCLA Investment Management Limited Senator House, 85 Queen Victoria Street, London EC4V 4ET Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB Old Cellars, Pembroke College

Other talks

Title TBC Group Work Title to be confirmed Washing machines and their rare components: lessons from kidney patients Title to be confirmed Content, Caching and Kubernetes: Performance and User Experience in the Browser
 

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