How I fell in love with string diagrams
Автор: Relatorium
Загружено: 2025-11-28
Просмотров: 94
Speaker :- Paweł Sobociński
Moderator :- Priyaa Varshinee Srinivasan
Title: How I fell in love with string diagrams
Abstract: I will talk about a research adventure I had 10 years ago, rediscovering linear algebra with string diagrams, and resulting in the blog Graphical Linear Algebra and the paper Interacting Hopf Algebras in collaboration with Filippo Bonchi and Fabio Zanasi. This was followed by several subsequent papers and PhD theses that developed the theory further. But more importantly than blogs and papers, it was one of the most fun experiences that I’ve had with research. Along the way I discovered some fun little mathematical facts, some of which I’ll share in this talk.
Speaker bio: Pawel Sobocinski is Professor of Trustworthy Software Technologies at the Tallinn University of Technology. He leads the Laboratory for Compositional Systems and Methods. He takes part in CHESS, the Cyber-security Excellence Hub in Estonia and South Moravia, funded by the European Commission. He is also a TalTech PI of EXAI, the Estonian Centre of Excellence in Artificial Intelligence, financed by the Estonian Ministry of Education and Research. He is also the author of the blog series on Graphical Linear Algebra (linear algebra through string diagrams) --- https://graphicallinearalgebra.net/.
Moderator: The talk will be moderated by Priyaa Varshinee Srinivasan. Priyaa is a postdoctoral fellow at the Tallinn University of Technology researching categorical quantum mechanics. Her vision is for everyone to experience the joy of mathematics in their own way. She has co-authored a live digital book titled “Relational thinking: from abstractions to applications” which reveals the thought-process behind creating mathematics (category theory) using story-telling, illustrations, and visualization of computations. The book can be found at https://toposinstitute.github.io/Rela....
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: