![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Dan Marsden, University of Oxford
Friday 06 May 2022, 14:00-15:00
Game comonads, FVM theorems, and bilinear maps
- đ¤ Speaker: Dan Marsden, University of Oxford
- đ Date & Time: Friday 06 May 2022, 14:00 - 15:00
- đ Venue: SS03
Abstract
Model comparison games such as the Ehrenfeucht-Fraisse game or the pebble game are fundamental tools in finite model theory, used to establish equivalence between models for a specified logic. The recently introduced game comonads give a novel categorical semantics for these these model comparison games.
A Feferman-Vaught-Mostowski (FVM) theorem describes how logical equivalence behaves under composition and transformation of models. In this talk, we will discuss FVM theorems from the point of view of game comonads. In particular, we will highlight some perhaps surprising connections to classical results in monad theory, abstracting the notion of bilinear maps.
We shall give a brief high-level introduction to the game comonads, and no prior knowledge of these recent constructions will be assumed.
(The talk covers joint work with Tomas Jakl and Nihil Shah.)
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- School of Technology
- SS03
- tcw57âs list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.