Deconstructing Tarski’s calculus of relations with Tape diagrams
Filippo Bonchi
Università degli Studi di Pisa
https://www.irif.fr/~greta/author/filippo-bonchi/
Date(s) : 12/05/2022 iCal
11h00 - 12h30
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 :
https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef
Emplacement
I2M Luminy - Ancienne BU, Salle Séminaire2 (RdC)
Catégories
