32 citations · 47 across the 8 of their papers we have counts for
16 papers
On Doctrines and Cartesian Bicategories
Filippo Bonchi, Alessio Santamaria, Jens Seeber +1
We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of a…
Combining Semilattices and Semimodules
Filippo Bonchi, Alessio Santamaria
We describe the canonical weak distributive law of the powerset monad over the -left-semimodule monad $\ma…
Presenting convex sets of probability distributions by convex semilattices and unique bases
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
We prove that every finitely generated convex set of finitely supported probability distributions has a unique base, and use this result to show that the monad of convex sets of pr…
Cartesian bicategories with choice
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
Relational structures are emerging as ubiquitous mathematical machinery in the semantics of open systems of various kinds. Cartesian bicategories are a well-known categorical algeb…
Contextual Equivalence for Signal Flow Graphs
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski +1
We extend the signal flow calculus---a compositional account of the classical signal flow graph model of computation---to encompass affine behaviour, and furnish it with a novel op…
Bialgebraic Semantics for String Diagrams
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski +1
Turi and Plotkin's bialgebraic semantics is an abstract approach to specifying the operational semantics of a system, by means of a distributive law between its syntax (encoded as…