![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Monday 25 November 2024, 13:00-14:00
Mixed Linear-Cartesian Theories as Substitution Monoids
- đ¤ Speaker: Sanjiv Ranchod (University of Cambridge)
- đ Date & Time: Monday 25 November 2024, 13:00 - 14:00
- đ Venue: FS07, Computer Laboratory
Abstract
In [FPT], Fiore, Plotkin and Turi characterise first-order cartesian (that is, algebraic or Lawvere) theories as monoids for a particular substitution tensor. Similarly, in [K], Kelly characterises first-order linear theories (that is, operads) as monoids for a similarly defined substitution tensor. A mixed linear-cartesian theory is a first-order theory that combines and generalises these two cases. I will chat about the constructions of these cases and present work-in-progress on the construction of a tensor and monoid for the mixed theories.
[FPT] Fiore, M., Plotkin, G., and Turi, D. Abstract syntax and variable binding (extended abstract). In 14th Symposium on Logic in Computer Science. 1999.
[K] Kelly, G. M. On the operads of J.P. May. Reprints in Theory and Applications of Categories. 2005.
Series This talk is part of the SANDWICH Seminar (Computer Laboratory) series.
Included in Lists
Note: Ex-directory lists are not shown.