BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8044@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20150618T110000
DTEND;TZID=Europe/Paris:20150618T120000
DTSTAMP:20241120T210005Z
URL:https://www.i2m.univ-amu.fr/evenements/interacting-hopf-algebras-the-s
 tring-diagrammatic-theory-of-linear-subspaces/
SUMMARY:Fabio Zanasi (University College London): Interacting Hopf algebras
 : the string diagrammatic theory of linear subspaces
DESCRIPTION:Fabio Zanasi: We introduce the theory IH of interacting Hopf al
 gebras\, parametrised over a principal ideal domain R. The axioms of IH ar
 e derived using Lack’s approach to composing PROPs: they feature two Hop
 f algebras and two Frobenius algebras. This construction is instrumental i
 n showing that IH is a presentation by generators and equations of the PRO
 P of linear relations (i.e. subspaces) over the field of fractions of R.\n
 The equational theory IH turns out to be useful in various contexts. For R
 =Z\, it expresses rational subspaces. The case R=Z_2 is of importance for 
 describing quantum computation. In this talk we will focus on the case R=k
 [x]\, in which IH yields a compositional stream semantics for linear dynam
 ical systems (signal flow graphs).\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Fabio_Zanasi.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20150329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR