Presentations of Premonoidal Categories by Devices
- Extended Abstract: pdf
- Authors: Matt Earnshaw, Chad Nester, Mario Román.
When modelling multiple effects, some effectful processes may interchange. In the presence of this global effect, equations are required to capture such interchange, limiting the reasoning we can perform by string diagram manipulation. We overcome this by extending the graphical syntax to include multiple ‘effect’ strings, which we term devices.
Funding. This research was supported by the ESF funded Estonian IT Academy research measure (project 2014- 2020.4.05.19- 0001) and Estonian Research Council grant PRG1210.