Robin Cockett

Date: February 5, 2018
Time: 12:00 am - 12:00 am
Location: MS 427

Title:  Linearly distributive categories and daggers do mix!
Abstract:  We shall explain the basic structure of a dagger *-autonomous category and exhibit a basic example using finiteness spaces.  Time permitting we will discuss how the CPM construction can be generalized to this setting.