BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Game comonads\, FVM theorems\, and bilinear maps - Dan Marsden\, U
 niversity of Oxford
DTSTART:20220506T130000Z
DTEND:20220506T140000Z
UID:TALK173519@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION:Model comparison games such as the Ehrenfeucht-Fraisse game or
  the pebble game are fundamental tools in finite model theory\, used to es
 tablish\nequivalence between models for a specified logic. The recently in
 troduced game comonads give a novel categorical semantics for these\nthese
  model comparison games.\n\nA Feferman-Vaught-Mostowski (FVM) theorem desc
 ribes how logical equivalence behaves under composition and transformation
  of models.\nIn this talk\, we will discuss FVM theorems from the point of
  view of game comonads. In particular\, we will highlight some perhaps sur
 prising\nconnections to classical results in monad theory\, abstracting th
 e notion of bilinear maps.\n\nWe shall give a brief high-level introductio
 n to the game comonads\, and no prior knowledge of these recent constructi
 ons will be assumed.\n\n(The talk covers joint work with Tomas Jakl and Ni
 hil Shah.)
LOCATION:SS03
END:VEVENT
END:VCALENDAR