You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Asad Saeeduddin (Jan 26 2021 at 22:59):Hello folks. I have been trying to learn about coalgebraic descriptions of dynamic systems like state machines. Recently I came across the "state chart" visual formalism outlined in this paper: https://www.inf.ed.ac.uk/teaching/courses/seoc/2005_2006/resources/statecharts.pdf, which allows for "superstates" and allows complex state diagrams to be simplified via stratification. I was wondering if these state charts can be accounted for coalgebraically, and if so, how?
Asad Saeeduddin (Jan 26 2021 at 23:03):I found the paper: "Coalgebraic Semantic Framework forComponent-based Development in UML", in which they seem to use a bicategory of coalgebras and coalgebra homomorphisms. Currently trying to work my way through it