J 2024

Discrete equational theories

ROSICKÝ, Jiří

Základní údaje

Originální název

Discrete equational theories

Autoři

ROSICKÝ, Jiří (203 Česká republika, garant, domácí)

Vydání

Mathematical Structures in Computer Science, Cambridge, Cambridge University Press, 2024, 0960-1295

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Impakt faktor

Impact factor: 0.500 v roce 2022

Organizační jednotka

Přírodovědecká fakulta

DOI

UT WoS

001147013000001

Klíčová slova anglicky

Enriched equational theory; enriched monad; Birkhoff subcategory

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 8. 2. 2024 08:59, Mgr. Marie Šípková, DiS.

Anotace

V originále

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ávaznosti

GA22-02964S, projekt VaV
Název: Obohacené kategorie a jejich aplikace (Akronym: ECATA)
Investor: Grantová agentura ČR, Enriched categories and their applications