Distributive laws of monads over comonads can't be formatted

Prelegent(ci)

Bartek Klin

Afiliacja

Uniwersytet Warszawski

Termin

4 czerwca 2014 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

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.

---