BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2019/newsitem/10587/15 -February-2019-Cool-Logic-Leo-Lobski DTSTAMP:20190211T135138 SUMMARY:Cool Logic, Leo Lobski ATTENDEE;ROLE=Speaker:Leo Lobski DTSTART;TZID=Europe/Amsterdam:20190215T180000 DTEND;TZID=Europe/Amsterdam:20190215T190000 LOCATION:ILLC seminar room F1.15, Science Park 107 , Amsterdam DESCRIPTION:We introduce the graphical language of string diagrams, which allow us to reason about m athematical structures by drawing pictures. Specif ically, we use string diagrams to define monoids a nd 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 th e diagrammatic approach is in fact in one-to-one c orrespondence with the algebraic one. We proceed t o outline how this generalises to matrices with ra tional entries, thus recasting all of the (rationa l, finite-dimensional) linear algebra in terms of string diagrams. Join us for snacks and drinks in the common room after the talk! X-ALT-DESC;FMTTYPE=text/html:\n
We introduce t he graphical language of string diagrams, which al low us to reason about mathematical structures by drawing pictures. Specifically, we use string diag rams to define monoids and comonoids, and demonstr ate how the matrices of natural numbers arise from interactions between a monoid and a comonoid. By studying a certain class of categories known as PR OPs, we will see that the diagrammatic approach is in fact in one-to-one correspondence with the alg ebraic one. We proceed to outline how this general ises to matrices with rational entries, thus recas ting all of the (rational, finite-dimensional) lin ear algebra in terms of string diagrams.
\n\nJoin us for snacks and drinks in the common roo m after the talk!
URL:https://events.illc.uva.nl/coollogic/talks/100 CONTACT:Mina Young Pedersen at minaypedersen at gm ail.com END:VEVENT END:VCALENDAR