Geodesic
A coalgebraic view on reachability
Commentationes Mathematicae Universitatis Carolinae, Tome 60 (2019) no. 4, pp. 605-638.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Coalgebras for an endofunctor provide a category theoretic framework for modeling a wide range of state-based systems of various types. We provide an iterative construction of the reachable part of a given pointed coalgebra that is inspired by and resembles the standard breadth-first search procedure to compute the reachable part of a graph. We also study coalgebras in Kleisli categories: for a functor extending a functor on the base category, we show that the reachable part of a given pointed coalgebra can be computed in that base category.
DOI : 10.14712/1213-7243.2019.026
Classification : 18A99, 18B20, 68Q99
Keywords: coalgebra; reachability; Kleisli category 
@article{10_14712_1213_7243_2019_026,
     author = {Wi{\ss}mann, Thorsten and Milius, Stefan and Katsumata, Shin-ya and Dubut, J\'er\'emy},
     title = {A coalgebraic view on reachability},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {605--638},
     publisher = {mathdoc},
     volume = {60},
     number = {4},
     year = {2019},
     doi = {10.14712/1213-7243.2019.026},
     mrnumber = {4061365},
     zbl = {07177892},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.14712/1213-7243.2019.026/}
}
TY  - JOUR
AU  - Wißmann, Thorsten
AU  - Milius, Stefan
AU  - Katsumata, Shin-ya
AU  - Dubut, Jérémy
TI  - A coalgebraic view on reachability
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2019
SP  - 605
EP  - 638
VL  - 60
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.14712/1213-7243.2019.026/
DO  - 10.14712/1213-7243.2019.026
LA  - en
ID  - 10_14712_1213_7243_2019_026
ER  - 
%0 Journal Article
%A Wißmann, Thorsten
%A Milius, Stefan
%A Katsumata, Shin-ya
%A Dubut, Jérémy
%T A coalgebraic view on reachability
%J Commentationes Mathematicae Universitatis Carolinae
%D 2019
%P 605-638
%V 60
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.14712/1213-7243.2019.026/
%R 10.14712/1213-7243.2019.026
%G en
%F 10_14712_1213_7243_2019_026
Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy. A coalgebraic view on reachability. Commentationes Mathematicae Universitatis Carolinae, Tome 60 (2019) no. 4, pp. 605-638. doi : 10.14712/1213-7243.2019.026. http://geodesic.mathdoc.fr/articles/10.14712/1213-7243.2019.026/

Cité par Sources :