Mario Román


Search IconIcon to open search

Presentations of Premonoidal Categories by Devices

Last updated Apr 23, 2024

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.