Wißmann T, Milius S, Katsumata SY, Dubut J (2019)
Publication Type: Journal article
Publication year: 2019
Book Volume: 60
Pages Range: 605-638
Journal Issue: 4
DOI: 10.14712/1213-7243.2019.026
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.
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://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