device category

Last updated Apr 14, 2025

• device functor

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