You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Eric M Downes (Aug 08 2024 at 21:11):At our usual time and zoom link:
Title: Lifting Algebraic Reasoning to Generalized Metric Spaces
Abstract: Universal algebra is the study of classes of algebraic structures defined by signatures and equations. Universal quantitative algebra is an extension developed to study algebraic structures over metric spaces (and generalized metric spaces). In an overview of this field, we will discuss quantitative equations, quantitative algebraic presentations of monads, and my hopes for a functorial semantics account.
Eric M Downes (Aug 08 2024 at 21:16):This will be our final talk of the summer! We will begin again in September, exact dates TBD.
Jean-Baptiste Vienney (Aug 14 2024 at 13:29):Starting in 30 minutes and to make your life easy, here is the zoom link.
Ralph Sarkis (Aug 14 2024 at 15:27):Thanks for joining!
Here are my slides: TalkZulip.pdf
Here is my manuscript: https://ralphs16.github.io/src/Manuscript.pdf
Eric M Downes (Aug 14 2024 at 17:04):Okay! The recording of Ralph's talk is uploaded here for anyone who couldn't make it.