BRICS · Contents · Programme

Proof Theory for the Working Category Theorist!

A BRICS Mini-Course
June 19 and 21, 2000

Lectures by
Robin Cockett,
Department of Computer Science, University of Calgary, Alberta, Canada

Course Contents

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.


Monday June 19, 2000, 10:15-12:00 in Auditorium D4

Wednesday June 21, 2000, 10:15-11:00 in Auditorium D4