Robin Cockett

Date: February 5, 2018
Location: MS 427
Talk

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.