A BRICS Mini-Course
June 19 and 21, 2000
Robin Cockett, firstname.lastname@example.org
Department of Computer Science, University of Calgary, Alberta, Canada
Starting with sums and products and ending with linear bicategories I propose to show how proof theory and category theory interact. These lectures will start by investigating the logic of sums and product snd work up through monoidal categories, linearly distributive categories, and *-autonomous categories into linear bicategories.
I propose to spice the course up with hints of how linear logic should be applied to computer science to provide a semantics of communicating processes.