COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

## Metric AlgebraAdd to your list(s) Download to your calendar using vCal - Marcelo Fiore (University of Cambridge)
- Tuesday 07 May 2019, 14:15-15:15
- MR4, Centre for Mathematical Sciences.
If you have a question about this talk, please contact Tamara von Glehn. I shall present work in progress that extends the algebraic-theory/monad/equational-logic correspondence of universal algebra to the metric 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 define metric algebraic theories and synthesise a corresponding metric equational logic. The resulting deductive system subsumes the equational logic for quantitative algebraic reasoning introduced by Mardare, Panangaden, and Plotkin [2]. References [1] J Bourke and R Garner. Monads and theories. arXiv, 2018. [2] R Mardare, P Panangaden, and G Plotkin. Quantitative Algebraic Reasoning. LICS , 2016. This talk is part of the Category Theory Seminar series. ## This talk is included in these lists:- All CMS events
- All Talks (aka the CURE list)
- CMS Events
- Category Theory Seminar
- DPMMS Lists
- DPMMS Pure Maths Seminar
- DPMMS info aggregator
- DPMMS lists
- Interested Talks
- MR4, Centre for Mathematical Sciences
- School of Physical Sciences
- bld31
- ndb35's list
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsArmourers and Brasiers Cambridge Forum Computer Laboratory Programming Research Group Seminar Dio-Gandhi equations## Other talksA Weak Gravity Theorem The Real Gold Standard: Measuring Counterfactual Worlds That Matter Most to Policy Stem cell dynamics define clone fixation and spread in human colonic epithelium Structure, Mechanics, and Thermodynamics of Mixtures of Microtubules and Molecular Motors Orientational ordering and self-organisation of nanoparticles in liquid crystal and polymer nanocomposites Many-electron quantum simulation of matter: insight from exact time-dependent real-space model systems |