Quantitative Algebras and a Classification of Metric Monads

arXiv2210.01565MaRDI QIDQ6412871FDOQ6412871

Authors: Jiří Adámek, Matĕj Dostál, Jiří Velebil 

Publication date: 4 October 2022

Abstract: Quantitative algebras are $Sigma$-algebras acting on metric spaces, where operations are nonexpanding. We prove that for finitary signatures $Sigma$ there is a bijective correspondence between varieties of quantitative algebras and strongly finitary monads on the category $mathsfMet$ of metric spaces. For uncountable cardinals $lambda$ there is an analogous bijection between varieties of $lambda$-ary quantitative algebras and monads that are strongly $lambda$-accessible. Moreover, we present a bijective correspondence between $lambda$-varieties as introduced by Mardare, Panangaden and Plotkin and enriched, surjections-preserving $lambda$-accesible monads on $mathsfMet$. Finally, for enriched $lambda$-accessible monads on $mathsfMet$ in general a bijective correspondence to generalized varieties is presented.

This page was built for publication: Quantitative Algebras and a Classification of Metric Monads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6412871)