The first is a version in the style of duoid graded monoidal categories. A slightly different version follows, in a more naive style.
Tags: effectful category, Presentations of Premonoidal Categories by Devices.
The first is a version in the style of duoid graded monoidal categories. A slightly different version follows, in a more naive style.
Tags: effectful category, Presentations of Premonoidal Categories by Devices.