Categories of monadic automata with Kleisli morphisms

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F25%3AA26025DS" target="_blank" >RIV/61988987:17610/25:A26025DS - isvavai.cz</a>

Výsledek na webu

<a href="https://www.sciencedirect.com/science/article/pii/S0165011425001058" target="_blank" >https://www.sciencedirect.com/science/article/pii/S0165011425001058</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.fss.2025.109366" target="_blank" >10.1016/j.fss.2025.109366</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Categories of monadic automata with Kleisli morphisms

Popis výsledku v původním jazyce

We introduce the categories of monadic automata, where morphisms between automata are relations defined by monads, that is, morphisms in the Kleisli categories. We show that many standard categories of automata including deterministic, non-deterministic, or fuzzy automata with relations as morphisms are special examples of this category. We also show that there is a strong relation among functors between the Kleisli categories, on the one hand, and functors between these categories of monadic automata, on the other. We extend the definition of a language accepted by a monadic automata with Kleisli morphisms and investigate relationships between categories of these languages and Kleisli categories.

Název v anglickém jazyce

Categories of monadic automata with Kleisli morphisms

Popis výsledku anglicky

We introduce the categories of monadic automata, where morphisms between automata are relations defined by monads, that is, morphisms in the Kleisli categories. We show that many standard categories of automata including deterministic, non-deterministic, or fuzzy automata with relations as morphisms are special examples of this category. We also show that there is a strong relation among functors between the Kleisli categories, on the one hand, and functors between these categories of monadic automata, on the other. We extend the definition of a language accepted by a monadic automata with Kleisli morphisms and investigate relationships between categories of these languages and Kleisli categories.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10102 - Applied mathematics

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í

2025

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ů

Název periodika

FUZZY SETS AND SYSTEMS

ISSN

0165-0114

e-ISSN

1872-6801

Svazek periodika

—

Číslo periodika v rámci svazku

July

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

17

Strana od-do

—

Kód UT WoS článku

001448107300001

EID výsledku v databázi Scopus

2-s2.0-86000525299