device category

• device functor

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