Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

15 February 2019, Cool Logic, Leo Lobski

Speaker: Leo Lobski
Title: An Introduction to Graphical Linear Algebra (or how to do rigorous mathematics with wires and boxes)
Date: Friday 15 February 2019
Time: 18:00-19:00
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

We introduce the graphical language of string diagrams, which allow us to reason about mathematical structures by drawing pictures. Specifically, we use string diagrams to define monoids and comonoids, and demonstrate how the matrices of natural numbers arise from interactions between a monoid and a comonoid. By studying a certain class of categories known as PROPs, we will see that the diagrammatic approach is in fact in one-to-one correspondence with the algebraic one. We proceed to outline how this generalises to matrices with rational entries, thus recasting all of the (rational, finite-dimensional) linear algebra in terms of string diagrams.

Join us for snacks and drinks in the common room after the talk!

For more information, see https://events.illc.uva.nl/coollogic/talks/100 or contact Mina Young Pedersen at .

Please note that this newsitem has been archived, and may contain outdated information or links.