Metric monads

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

ROSICKÝ Jiří

Year of publication 2021
Type Article in Periodical
Magazine / Source Mathematical Structures in Computer Science
MU Faculty or unit

Faculty of Science

Citation
Web https://doi.org/10.1017/S0960129521000220
Doi http://dx.doi.org/10.1017/S0960129521000220
Keywords Equational theory; monad; enriched category; metric space; poset
Description We develop universal algebra over an enriched category K and relate it to finitary enriched monads over 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.