Robin Cockett

Date: February 5, 2018

Time: 13:30-15:00

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.