[msp-interest] [MSP101] Ezra Schoen: Coequations via proof systems (LT209, 3pm Mon 10-Feb)

[Dilsat Yuksel]

Hi,

On Monday, the MSP101 talk will be given by Ezra Schoen (MSP). See the details of the talk below.

Best,
Dilsat

**********************************************************************

Date: Monday, 10 February at 15:00

Room: LT209, Livingstone Tower

Zoom link: https://strath.zoom.us/j/85449272187?pwd=0qNkQqybiaKgBpbEBRv38x11x4db5n.1

Speaker: Ezra Schoen

Title: Coequations via proof systems

Abstract: What even is a coequation? While Universal Algebra enjoys a set-in-stone consensus on both the correct syntax of equations, as well as what an equation even is, Universal Coalgebra is in no such position. There are many attempts at definitions and syntaxes of coequations, but it is hard to say which one is 'the correct one'.

Rather than sorting out this mess, why not add yet another proposal? If we squint, we can see proof systems for modal logic as coequations. This then leads to some fun, natural questions. Which coequations can be captured by what kind of proof systems? If we restrict our attention to a class of 'simple' systems, can we specify "every" coequation?

As this is work in progress, I have a fewer answers than questions. The aim of this talk is to introduce coequations in all their colours, and to get the audience to a point where the questions may be appreciated.

**********************************************************************

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20250206/7fc75c8e/attachment.html