License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CALCO.2023.10
URN: urn:nbn:de:0030-drops-188078
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18807/
Adámek, Jiří ;
Dostál, Matěj ;
Velebil, Jiří
Strongly Finitary Monads for Varieties of Quantitative Algebras
Abstract
Quantitative algebras are algebras enriched in the category Met of metric spaces or UMet of ultrametric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka 1-basic varieties) as classes of quantitative algebras presented by quantitative equations. We prove that, when restricted to ultrametrics, varieties bijectively correspond to strongly finitary monads T on UMet. This means that T is the left Kan extension of its restriction to finite discrete spaces. An analogous result holds in the category CUMet of complete ultrametric spaces.
BibTeX - Entry
@InProceedings{adamek_et_al:LIPIcs.CALCO.2023.10,
author = {Ad\'{a}mek, Ji\v{r}{\'\i} and Dost\'{a}l, Mat\v{e}j and Velebil, Ji\v{r}{\'\i}},
title = {{Strongly Finitary Monads for Varieties of Quantitative Algebras}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {10:1--10:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2023/18807},
URN = {urn:nbn:de:0030-drops-188078},
doi = {10.4230/LIPIcs.CALCO.2023.10},
annote = {Keywords: quantitative algebras, ultra-quantitative algebras, strongly finitary monads, varieties}
}
Keywords: |
|
quantitative algebras, ultra-quantitative algebras, strongly finitary monads, varieties |
Collection: |
|
10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023) |
Issue Date: |
|
2023 |
Date of publication: |
|
02.09.2023 |