BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Galois connection for operations and relations - Adam ó Conghai
 le (University of Cambridge)
DTSTART:20200228T110000Z
DTEND:20200228T120000Z
UID:TALK140413@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Galois connections are a relatively simple type of duality tha
 t are plentiful in maths and computer science. In this talk\, I'll give so
 me background on these\, their history and generalisations\, before focusi
 ng on an example of particular importance to logic and theoretical compute
 r science: the Pol-Inv connection. This simple construction relates finita
 ry operations on a set to finitary relations on the same set in a way that
  allows you to turn questions about algebraic structure into questions abo
 ut logical/relational structure\, and vice versa. I'll outline some nice f
 eatures and recent applications of this connection\, including to the (rec
 ently resolved) CSP Dichotomy Conjecture.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR