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\n
Join us for snacks and drinks in the common roo
m after the talk!

\n
URL:https://events.illc.uva.nl/coollogic/talks/100
CONTACT:Mina Young Pedersen at minaypedersen at gm
ail.com
END:VEVENT
END:VCALENDAR