COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Introduction to string diagrams

## Introduction to string diagramsAdd to your list(s) Download to your calendar using vCal - Dima Szamozvancev
- Wednesday 21 November 2018, 11:00-12:00
- Rainbow Room (FS07), Computer Laboratory.
If you have a question about this talk, please contact Nathanael Arkor. String diagrams are a graphical calculus for visualising and reasoning about monoidal categories in general, and 2-categories in particular. They aim to combine some of the benefits of the two standard ways of categorical reasoning: the intuitive graphical layout and type information we have in diagram chasing, and the calculational approach of equational reasoning via commutativity laws. String diagrams also simplify the expression of many categorical properties by making some coherence conditions (such as functoriality and naturality) implicit in the notation. This often results in very intuitive, visual proofs of theorems that would otherwise require complicated diagram pasting or long chains of equalities. This talk will give an introduction to string diagrams: how they are constructed and how we can read off both equational laws and commutative diagrams from a string representation. We will see how more advanced concepts such as adjunctions and monads are expressed using string diagrams, and conclude with a very clear graphical proof of how the composition of adjoint functors gives rise to a monad-comonad pair. This talk is part of the Logic & Semantics for Dummies series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsOxbridge PDE conference Clare Hall Talk for International Women's Day 2018## Other talksColouring the real numbers and sum-sets with repetitions Evolution of the Eye Frontiers of Scientific Knowledge in South Africa, Global Science, National Horizons "Mosaic Stimuli in Research on Luminance and Color Vision" |