Discrete equational theories

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F24%3A00139361" target="_blank" >RIV/00216224:14310/24:00139361 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/discrete-equational-theories/B68D91B64C2E6EC95C441A67CD9A24A4" target="_blank" >https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/discrete-equational-theories/B68D91B64C2E6EC95C441A67CD9A24A4</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1017/S096012952400001X" target="_blank" >10.1017/S096012952400001X</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Discrete equational theories

Popis výsledku v původním jazyce

On a locally $lambda$-presentable symmetric monoidal closed category $mathcal {V}$, $lambda$-ary enriched equational theories correspond to enriched monads preserving $lambda$-filtered colimits. We introduce discrete $lambda$-ary enriched equational theories where operations are induced by those having discrete arities (equations are not required to have discrete arities) and show that they correspond to enriched monads preserving preserving $lambda$-filtered colimits and surjections. Using it, we prove enriched Birkhof-type theorems for categories of algebras of discrete theories. This extends known results from metric spaces and posets to general symmetric monoidal closed categories.

Název v anglickém jazyce

Discrete equational theories

Popis výsledku anglicky

On a locally $lambda$-presentable symmetric monoidal closed category $mathcal {V}$, $lambda$-ary enriched equational theories correspond to enriched monads preserving $lambda$-filtered colimits. We introduce discrete $lambda$-ary enriched equational theories where operations are induced by those having discrete arities (equations are not required to have discrete arities) and show that they correspond to enriched monads preserving preserving $lambda$-filtered colimits and surjections. Using it, we prove enriched Birkhof-type theorems for categories of algebras of discrete theories. This extends known results from metric spaces and posets to general symmetric monoidal closed categories.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

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í

2024

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 periodika

Mathematical Structures in Computer Science

ISSN

0960-1295

e-ISSN

1469-8072

Svazek periodika

34

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

14

Strana od-do

147-160

Kód UT WoS článku

001147013000001

EID výsledku v databázi Scopus

2-s2.0-85183091722