2 papers
cs.LO2026
The Only Distributive Law Over the Powerset Monad Is the One You Know
Sergey Goncharov, Dirk Hofmann, Pedro Nora +2
Distributive laws of set functors over the powerset monad (also known as Kleisli laws for the powerset monad) are well-known to be in one-to-one correspondence with extensions of s…
cs.LO2025
Relators and Notions of Simulation Revisited
Sergey Goncharov, Dirk Hofmann, Pedro Nora +2
Simulations and bisimulations are ubiquitous in the study of concurrent systems and modal logics of various types. Besides classical relational transition systems, relevant system…