Metric monads

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

ROSICKÝ Jiří

Rok publikování 2021
Druh Článek v odborném periodiku
Časopis / Zdroj Mathematical Structures in Computer Science
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www https://doi.org/10.1017/S0960129521000220
Doi http://dx.doi.org/10.1017/S0960129521000220
Klíčová slova Equational theory; monad; enriched category; metric space; poset
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.