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:5122@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20240411T110000
DTEND;TZID=Europe/Paris:20240411T123000
DTSTAMP:20251211T071903Z
URL:https://www.i2m.univ-amu.fr/evenements/seminaire-lsc-federico-olimpier
 i/
SUMMARY:Federico Olimpieri (LIS\, Aix-Marseille): Séminaire LSC: Coherence
  by Normalization for Linear Multicategorical Structures
DESCRIPTION:Federico Olimpieri: We establish a formal correspondence betwee
 n resource calculi\nand appropriate linear multicategories. We consider th
 e cases of\n(symmetric) representable\, symmetric closed and autonomous\nm
 ulticategories. For all these structures\, we prove that morphisms of\nthe
  corresponding free constructions can be presented by means of typed\nreso
 urce terms\, up to a reduction relation and a structural equivalence.\nTha
 nks to the linearity of the calculi\, we can prove strong\nnormalization o
 f the reduction by combinatorial methods\, defining\nappropriate decreasin
 g measures. From this\, we achieve a general\ncoherence result: morphisms 
 that live in the free multicategorical\nstructures are the same whenever t
 he normal forms of the associated\nterms are equal. As further application
 \, we obtain syntactic proofs of\nMac Lane’s coherence theorems for (sym
 metric) monoidal categories.
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20240331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR