Distributive laws of monads over comonads can't be formatted
- Speaker(s)
- Bartek Klin
- Affiliation
- Uniwersytet Warszawski
- Date
- June 4, 2014, 2:15 p.m.
- Room
- room 5870
- Seminar
- Seminar Automata Theory
We use bialgebraic methods to prove that bialgebraic methods are useless.
Specifically, we show that distributive laws of monads over comonads, which are a common abstract generalization
of some concrete formats of well-structured operational definitions, do not admit a concrete presentation. In the process
we prove that it is undecidable whether an operational stream definition, or an SOS specification, is well-formed.
Specifically, we show that distributive laws of monads over comonads, which are a common abstract generalization
of some concrete formats of well-structured operational definitions, do not admit a concrete presentation. In the process
we prove that it is undecidable whether an operational stream definition, or an SOS specification, is well-formed.