Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
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.
