J 2021

Metric monads

ROSICKÝ, Jiří

Základní údaje

Originální název

Metric monads

Autoři

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

Vydání

Mathematical Structures in Computer Science, Cambridge University Press, 2021, 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.616

Kód RIV

RIV/00216224:14310/21:00129023

Organizační jednotka

Přírodovědecká fakulta

DOI

UT WoS

000891319500003

Klíčová slova anglicky

Equational theory; monad; enriched category; metric space; poset

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 13. 12. 2022 12:06, Mgr. Marie Šípková, DiS.

Anotace

V originále

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.

Návaznosti

GA19-00902S, projekt VaV
Název: Injektivita a monády v algebře a topologii
Investor: Grantová agentura ČR, Injektivita a monády v algebře a topologii