Deconstructing Tarski’s calculus of relations with Tape diagrams

Filippo Bonchi
Università degli Studi di Pisa

Date(s) : 12/05/2022   iCal
11 h 00 min - 12 h 30 min

The category Rel of sets and relations carries two different monoidal tensors given by disjoint union (particles interpretation) and Cartesian product (waves).

Tape diagrams provides an intuitive graphical language for expressing arrows of categories with two tensors. In this talk, we shows that certain tape diagrams, namely those where the additive structure form a finite biproduct category and the multiplicative structure a Cartesian bicategory, are complete with respect to Rel. In particular, this provides a sound and complete system of axioms for coherent logic and thus the positive fragment of Tarski’s calculus of relations.

L’exposé sera retransmis ici :


Site Sud, Luminy, Ancienne BU, Salle Séminaire2 (RdC)


Retour en haut 

Secured By miniOrange