3 citations · 4 across the 3 of their papers we have counts for
4 papers · 1 filter
Combining Weak Distributive Laws: Application to Up-To Techniques
Alexandre Goy, Daniela Petrisan
The coalgebraic modelling of alternating automata and of probabilistic automata has long been obstructed by the absence of distributive laws of the powerset monad over itself, resp…
Up-To Techniques for Behavioural Metrics via Fibrations
Filippo Bonchi, Barbara König, Daniela Petrisan
Up-to techniques are a well-known method for enhancing coinductive proofs of behavioural equivalences. We introduce up-to techniques for behavioural metrics between systems modelle…
The Schützenberger product for syntactic spaces
Mai Gehrke, Daniela Petrisan, Luca Reggio
Starting from Boolean algebras of languages closed under quotients and using duality theoretic insights, we derive the notion of Boolean spaces with internal monoids as recognisers…
Relation Liftings on Preorders and Posets
Marta Bilkova, Alexander Kurz, Daniela Petrisan +1
The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on…