Search

• < Previous
• 1
• Next >

---

Positive fragments of coalgebraic logics

Adriana Balan ; Alexander Kurz ; Jiří Velebil.

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions,&nbsp;[&hellip;]

---

Presenting Distributive Laws

Marcello M. Bonsangue ; Helle Hvid Hansen ; Alexander Kurz ; Jurriaan Rot.

Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for&nbsp;[&hellip;]

---

Completeness of Nominal PROPs

Samuel Balco ; Alexander Kurz.

We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are equivalent. This equivalence is then extended to symmetric&nbsp;[&hellip;]

---