论文标题
公制单月
Metric monads
论文作者
论文摘要
我们在丰富的类别$ \ MATHCAL K $上开发了通用代数，并将其与$ \ Mathcal K $的富含富集的单子联系起来。使用它，我们推断出有关有序的通用代数的最新结果，其中使用了不等式而不是方程式。然后，我们将其应用于使用定量方程而不是方程式的公制通用代数。这有助于理解公制空间类别的限制单子。
We develop universal algebra over an enriched category $\mathcal K$ and relate it to finitary enriched monads over $\mathcal K$. Using it, we deduce recent results about ordered universal algebra where inequations are used instead of equations. Then we apply it to metric universal algebra where quantitative equations are used instead of equations. This contributes to understanding of finitary monads on the category of metric spaces.
