Tuesday, 2 February 2016
4:00 - 5:00   M. Barr (McGill)
Introduction to *-Autonomous categories


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.