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.
Powered by UCalgary
The views, information, or opinions expressed on this site are solely those of the individual(s) involved and do not necessarily represent the position of the University of Calgary as an institution.
Digital Privacy Statement | Privacy Policy | Copyright © 2019