
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

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

String Diagrammatic Electrical Circuit Theory
We develop a comprehensive string diagrammatic treatment of electrical c...
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

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

Functorial Semantics for Partial Theories
We provide a Lawverestyle definition for partial theories, extending th...
read it

A canonical algebra of open transition systems
Feedback and state are closely interrelated concepts. Categories with fe...
read it

Games on graphs: a compositional approach
The analysis of games played on graphlike structures is of increasing i...
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

Rule Algebras for Adhesive Categories
We show that every adhesive category gives rise to an associative algebr...
read it

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

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