Filippo Bonchi: "Diagrammatic Algebra of First Order Logic"

Topos Institute Colloquium, 2nd of May 2024.
---
We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the calculus of binary relations that has the same expressivity as first order logic and comes with a complete axiomatisation. The axioms are obtained by combining two well known categorical structures: cartesian and linear bicategories.

[@ekaingarmendia]

I have a theory based on semimodules on which the adjoint of a relation is derived to be precisely its transpose, and not by definition. It generalizes measurements to more general settings than that of Hilbert spaces. As an example, consider the following "inner-product" taking pairs of sets to boolean values: iff A,B are not disjoint. For more info let me know.

[@ekaingarmendia]

Soon I'll upload a video explaining this structure.

[@simonlitvinskii1898]

So, Bad Apple collaboration when?