[Alta-Logic] Peripatetic Seminar Mon 13:30 in MS 427

[Matthew Burke]

Speaker: Robin Cockett

Location: MS 427

Time and Date: 13:30-14:30 Monday 5th Feb

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.