String Diagrams 5

Summary

Adjunctions give rise to monads. We introduce an alternative graphical representation of categories, functors, and natural transformations. Topos Institute Colloquium, 1st of December 2022. ——— One of the goals of applied category theory is to develop new ... Recording of the second tutorial of the Applied Category Theory 2020 remote conference. Main website: act2020.mit.edu/ ... Goal. Explaining basic concepts of category theory in an intuitive way. This time. What are… Talk at Applied Category Theory 2023 We introduce collages of The interchange law and whiskering. The last dull bits before getting onto adjunctions. (Apologies for the drastic editing at the end.) speaker: Jules Hedges A brief introduction into the most commonly used methods in category theory via graphical formalisms for ... Traced monoidal categories capture the phenomenon of recursion. In this talk, we re-examine the standard definition of traced ... 30th of September, 2021. Part of the Topos Institute Colloquium. ----- Abstract: In Lawvere theories the central role is played by ... We introduce wiggle.py which is a python based library for vector graphics rendering of 3-dimensional Abstract: We briefly review modular tensor categories, a formalism for modelling anyonic theories. By considering the modular ...