Daniel Satanove

Date: September 10, 2018

Time: 10:00

Location: MS 337

Talk

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.