Introduction to *-Autonomous categories

02/02/2016 - 16:00
02/02/2016 - 17:00
Speaker: 
M Barr (McGill)
Location: 
BH920
Abstract: 

I will give the background and definition, briefly discuss a few examples and discuss how they are models of linear logic. I will also describe very briefly the Chu construction and its history. The main purpose of this introduction is to determine if there is enough interest to expand the topic into a series of lectures.

Last edited by on Thu, 01/21/2016 - 12:01