BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Nicola Gambino (University of Manchester)
DTSTART:20250227T190000Z
DTEND:20250227T200000Z
DTSTAMP:20260423T035730Z
UID:OLS/175
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/175/">Mo
 noidal bicategories\, differential linear logic\, and analytic functors</a
 >\nby Nicola Gambino (University of Manchester) as part of Online logic se
 minar\n\n\nAbstract\nDifferential linear logic\, introduced by Ehrhard and
  Regnier\, is an extension of linear logic with a differentiation operatio
 n. It is interesting both from a syntactic point of view\, since it leads 
 to a new technique to study λ-calculus (via Taylor series expansion of λ
 -terms)\, and a semantical one\, as its models are categories in which mor
 phisms can be differentiated. The talk will present a new model of differe
 ntial linear logic\, based on Joyal’s analytic functors\, which are a fu
 nctorial counterpart of exponential power series. This model can be unders
 tood as a ‘categorified’ version of the relational model of Linear Log
 ic.\n
LOCATION:https://researchseminars.org/talk/OLS/175/
END:VEVENT
END:VCALENDAR