A coalgebraic view on reachability
Wißmann T, Milius S, Katsumata SY, Dubut J (2019)
Publication Type: Journal article
Publication year: 2019
Journal
Book Volume: 60
Pages Range: 605-638
Journal Issue: 4
DOI: 10.14712/1213-7243.2019.026
Abstract
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.
Authors with CRIS profile
Thorsten Wißmann
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Stefan Milius
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Involved external institutions
Japan (JP)How to cite
APA:
Wißmann, T., Milius, S., Katsumata, S.-Y., & Dubut, J. (2019). A coalgebraic view on reachability. Commentationes Mathematicae Universitatis Carolinae, 60(4), 605-638. https://dx.doi.org/10.14712/1213-7243.2019.026
MLA:
Wißmann, Thorsten, et al. "A coalgebraic view on reachability." Commentationes Mathematicae Universitatis Carolinae 60.4 (2019): 605-638.
BibTeX: Download