Relational variants of lattice-valued F-transforms

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F20%3AA21021LQ" target="_blank" >RIV/61988987:17610/20:A21021LQ - isvavai.cz</a>
Výsledek na webu
<a href="https://www.mdpi.com/2075-1680/9/1/1" target="_blank" >https://www.mdpi.com/2075-1680/9/1/1</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3390/axioms9010001" target="_blank" >10.3390/axioms9010001</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Relational variants of lattice-valued F-transforms
Popis výsledku v původním jazyce
Categories with relations defined by monads as morphisms are investigated. Suchcategories are, in fact, Kleisli categories of monads in clone form. Examples of such categoriesused in lattice-valued F-transform theory are presented. It is proven that for arbitrary category K and arbitrary monad T in this category there exists a powerset theory of the Kleisli category KT, which extend the original powerset theory of the category K.
Název v anglickém jazyce
Relational variants of lattice-valued F-transforms
Popis výsledku anglicky
Categories with relations defined by monads as morphisms are investigated. Suchcategories are, in fact, Kleisli categories of monads in clone form. Examples of such categoriesused in lattice-valued F-transform theory are presented. It is proven that for arbitrary category K and arbitrary monad T in this category there exists a powerset theory of the Kleisli category KT, which extend the original powerset theory of the category K.

Projekt
<a href="/cs/project/EF17_049%2F0008414" target="_blank" >EF17_049/0008414: Centrum pro výzkum a vývoj metod umělé intelligence v automobilovém průmyslu regionu</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2020
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)