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
In this Topos Institute Colloquium talk, explore how diagrammatic sets can serve as a combinatorial and computational foundation for 2-dimensional string diagrams, offering an alternative to the topological foundation established by Joyal and Street while maintaining equivalent expressiveness. Learn how diagrammatic proofs formalized as diagrams in diagrammatic sets can be interpreted beyond 2-categories or bicategories, extending to (infty, n)-categories and thus broadening their applicability in a straightforward manner. Presented by Amar Hadzihasanovic on May 8, 2025, this hour-long presentation provides valuable insights into advanced categorical structures and their diagrammatic representations.
