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:6625@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20201126T110000
DTEND;TZID=Europe/Paris:20201126T123000
DTSTAMP:20241120T201756Z
URL:https://www.i2m.univ-amu.fr/evenements/a-multicategorical-approach-to-
 mixed-linear-non-linear-substitution-christine-tasson/
SUMMARY:Christine Tasson (LIP6\, Sorbonne Université): A multicategorical 
 approach to mixed linear-non-linear substitution - Christine Tasson
DESCRIPTION:Christine Tasson: I will present a colimit construction of 2-mo
 nad that we studied with Martin Hyland with the purpose of understanding t
 he mixed linear-non-linear framework at play in differential lambda-calcul
 us. Differentiation that appears in standard calculus\, differential lambd
 a-calculus and differential categories\, is an operator that transforms a 
 function A -&gt\; B into its best linear approximation\, that is a functio
 n AxA-&gt\;B where the first parameter is linear. Therefore\,\nwe have two
  kinds of composition/substitution that live together. In order to better 
 understand this framework\, we use the multicategorical framework with a m
 onadic presentation. Both the linear and the non-linear setting can be und
 erstood through a 2-monad\, and our colimit construction allows to build t
 he mixed linear-non-linear\nsetting.\n&nbsp\;\n\nEn visio-conférence ici 
 :\n\nhttps://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef\n\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Christine_Tasson.jpg
CATEGORIES:Séminaire,Logique et Interactions,Virtual event
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20201025T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR