Article contents
Metric monads
Published online by Cambridge University Press: 10 September 2021
Abstract
We develop universal algebra over an enriched category and relate it to finitary enriched monads over . 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.
- Type
- Paper
- Information
- Creative Commons
- This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
- Copyright
- © The Author(s), 2021. Published by Cambridge University Press
Footnotes
Supported by the Grant Agency of the Czech Republic under the grant 19-00902S
References
- 1
- Cited by