Diagrammatic Algebra of First Order Logic

Explore a detailed lecture from the Topos Institute Colloquium that delves into the calculus of neo-Peircean relations, examining its role as a string diagrammatic extension of binary relations calculus. Learn how this mathematical framework achieves the same expressivity as first order logic while featuring a complete axiomatisation. Discover the intersection of cartesian and linear bicategories in forming the foundational axioms of this system, gaining insights into how these categorical structures combine to create a powerful mathematical tool. Master the theoretical underpinnings of this diagrammatic algebraic approach that bridges multiple mathematical concepts in an hour-long academic presentation.