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  <p>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.</p>\n\n  
 <p>Join us for snacks and drinks in the common roo
 m after the talk!</p>\n
URL:https://events.illc.uva.nl/coollogic/talks/100
CONTACT:Mina Young Pedersen at minaypedersen at gm
 ail.com
END:VEVENT
END:VCALENDAR