Metric monads

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F21%3A00129023" target="_blank" >RIV/00216224:14310/21:00129023 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1017/S0960129521000220" target="_blank" >https://doi.org/10.1017/S0960129521000220</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/S0960129521000220" target="_blank" >10.1017/S0960129521000220</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Metric monads
Popis výsledku v původním jazyce
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ázev v anglickém jazyce
Metric monads
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/GA19-00902S" target="_blank" >GA19-00902S: Injektivita a monády v algebře a topologii</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2021
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ů

Podobné výsledky(10)