BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Metric Algebra - Marcelo Fiore (University of Cambridge) 
DTSTART:20190507T131500Z
DTEND:20190507T141500Z
UID:TALK124702@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:I shall present work in progress that extends the algebraic-th
 eory/monad/equational-logic correspondence of universal algebra to the met
 ric context.  As a matter of background\, I will recall the first part of 
 this fundamental correspondence in the setting of a recent enriched theory
 /monad correspondence developed by Bourke and Garner [1].  The core of the
  talk will then be to analyze the abstract theory further and thereby defi
 ne metric algebraic theories and synthesise a corresponding metric equatio
 nal logic.  The resulting deductive system subsumes the equational logic f
 or quantitative algebraic reasoning introduced by Mardare\, Panangaden\, a
 nd Plotkin [2].\n\n\nReferences\n\n[1] J Bourke and R Garner.  Monads and 
 theories.  arXiv\, 2018.\n\n[2] R Mardare\, P Panangaden\, and G Plotkin. 
  Quantitative Algebraic Reasoning.  LICS\, 2016.\n
LOCATION:MR4\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR