device category

The first is a version in the style of duoid graded monoidal categories. A slightly different version follows, in a more naive style.

• device functor

Tags: effectful category, Presentations of Premonoidal Categories by Devices.