no code implementations • 29 Dec 2020 • Filippo Bonchi, Alessio Santamaria
We describe the canonical weak distributive law $\delta \colon \mathcal S \mathcal P \to \mathcal P \mathcal S$ of the powerset monad $\mathcal P$ over the $S$-left-semimodule monad $\mathcal S$, for a class of semirings $S$.
1 code implementation • 3 Dec 2020 • Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
In the last part, we also see that the approach can be generalised to model rewriting modulo multiple Frobenius structures.
Logic in Computer Science Category Theory
no code implementations • 2 Aug 2018 • Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices.
Logic in Computer Science