BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Mixed Linear-Cartesian Theories as Substitution Monoids - Sanjiv R
 anchod (University of Cambridge)
DTSTART:20241125T130000Z
DTEND:20241125T140000Z
UID:TALK224749@talks.cam.ac.uk
CONTACT:Dr Meven Lennon-Bertrand
DESCRIPTION:In [FPT]\, Fiore\, Plotkin and Turi characterise first-order c
 artesian (that is\, algebraic or Lawvere) theories as monoids for a partic
 ular substitution tensor. Similarly\, in [K]\, Kelly characterises first-o
 rder linear theories (that is\, operads) as monoids for a similarly define
 d substitution tensor. A mixed linear-cartesian theory is a first-order th
 eory that combines and generalises these two cases. I will chat about the 
 constructions of these cases and present work-in-progress on the construct
 ion of a tensor and monoid for the mixed theories. \n\n[FPT] Fiore\, M.\, 
 Plotkin\, G.\, and Turi\, D. Abstract syntax and variable binding (extende
 d abstract). In 14th Symposium on Logic in Computer Science. 1999.\n\n[K] 
 Kelly\, G. M. On the operads of J.P. May. Reprints in Theory and Applicati
 ons of Categories. 2005.\n
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR