[Alta-Logic] Peripatetic Seminar

[Matthew Burke]

Speaker: Daniel Satanove

Time and location: Monday, September 10, 2018 from 10:00

Title: A structural definition of symmetric multicategories

Abstract: Symmetric multicategories are a basic structure in the categorical semantics of linear logic. One can define them elementarily, but already the coherence are difficult to track. The problem compounds when one tries to define functors and natural transformations to get a 2-category of symmetric multicategories, which is necessary for stating properly 2-categorical theorems like coherence. I will give a structural definition of symmetric multicategories based on profunctors which will provide the basic definition upon which the 2-category of symmetric multicategories can be built.

http://peripatetic-seminar.cpsc.ucalgary.ca/wp/