
String Diagram Rewrite Theory III: Confluence with and without Frobenius
In this paper we address the problem of proving confluence for string di...
read it

Convexity via Weak Distributive Laws
We study the canonical weak distributive law δ of the powerset monad ove...
read it

On Doctrines and Cartesian Bicategories
We study the relationship between cartesian bicategories and a specialis...
read it

Diagrammatic Polyhedral Algebra
We extend the theory of Interacting Hopf algebras with an order primitiv...
read it

String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
Symmetric monoidal theories (SMTs) generalise algebraic theories in a wa...
read it

Combining Semilattices and Semimodules
We describe the canonical weak distributive law δ𝒮𝒫→𝒫𝒮 of the powerset m...
read it

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
String diagrams are a powerful and intuitive graphical syntax, originate...
read it

Presenting convex sets of probability distributions by convex semilattices and unique bases
We prove that every finitely generated convex set of finitely supported ...
read it

Cartesian bicategories with choice
Relational structures are emerging as ubiquitous mathematical machinery ...
read it

Contextual Equivalence for Signal Flow Graphs
We extend the signal flow calculus—a compositional account of the classi...
read it

Bialgebraic Semantics for String Diagrams
Turi and Plotkin's bialgebraic semantics is an abstract approach to spec...
read it

Bisimilarity of Open Terms in Stream GSOS
Stream GSOS is a specification format for operations and calculi on infi...
read it

Trace Semantics for Nondeterministic Probabilistic Automata via Determinization
This paper studies tracebased equivalences for automata combining nonde...
read it

UpTo Techniques for Behavioural Metrics via Fibrations
Upto techniques are a wellknown method for enhancing coinductive proof...
read it

Sound upto techniques and Complete abstract domains
Abstract interpretation is a method to automatically find invariants of ...
read it

Graphical Conjunctive Queries
The Calculus of Conjunctive Queries (CCQ) has foundational status in dat...
read it

Coalgebraic Behavioral Metrics
We study different behavioral metrics, such as those arising from both b...
read it

Functorial Semantics for Relational Theories
We introduce the concept of Frobenius theory as a generalisation of Lawv...
read it
Filippo Bonchi
is this you? claim profile