Další formáty:
BibTeX
LaTeX
RIS
@article{1828399,
author = {Rosický, Jiří},
article_number = {5},
doi = {http://dx.doi.org/10.1017/S0960129521000220},
keywords = {Equational theory; monad; enriched category; metric space; poset},
language = {eng},
issn = {0960-1295},
journal = {Mathematical Structures in Computer Science},
title = {Metric monads},
url = {https://doi.org/10.1017/S0960129521000220},
volume = {31},
year = {2021}
}
TY - JOUR
ID - 1828399
AU - Rosický, Jiří
PY - 2021
TI - Metric monads
JF - Mathematical Structures in Computer Science
VL - 31
IS - 5
SP - 535-552
EP - 535-552
PB - Cambridge University Press
SN - 09601295
KW - Equational theory
KW - monad
KW - enriched category
KW - metric space
KW - poset
UR - https://doi.org/10.1017/S0960129521000220
N2 - 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.
ER -
ROSICKÝ, Jiří. Metric monads. \textit{Mathematical Structures in Computer Science}. Cambridge University Press, 2021, roč.~31, č.~5, s.~535-552. ISSN~0960-1295. Dostupné z: https://dx.doi.org/10.1017/S0960129521000220.
|
