Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
