Quantitative Algebras and a Classification of Metric Monads

J. Adámek, M. Dostál, J. Velebil

Quantitative algebras are $\Sigma$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of qua…