Strongly Finitary Monads for Varieties of Quantitative Algebras

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F23%3A00373105" target="_blank" >RIV/68407700:21230/23:00373105 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.4230/LIPIcs.CALCO.2023.10" target="_blank" >https://doi.org/10.4230/LIPIcs.CALCO.2023.10</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4230/LIPIcs.CALCO.2023.10" target="_blank" >10.4230/LIPIcs.CALCO.2023.10</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Strongly Finitary Monads for Varieties of Quantitative Algebras
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Strongly Finitary Monads for Varieties of Quantitative Algebras
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/GA22-02964S" target="_blank" >GA22-02964S: Obohacené kategorie a jejich aplikace</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2023
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)
ISBN
978-3-95977-287-7
ISSN
1868-8969
e-ISSN
—
Počet stran výsledku
14
Strana od-do
—
Název nakladatele
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo vydání
Dagstuhl
Místo konání akce
Bloomington
Datum konání akce
19. 6. 2023
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)