Categories of monadic automata with Kleisli morphisms

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Categories of monadic automata with Kleisli morphisms
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10102 - Applied mathematics

Project
<a href="/en/project/EF17_049%2F0008414" target="_blank" >EF17_049/0008414: Centre for the development of Artificial Intelligence Methods for the Automotive Industry of the region</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)