Mario Román

Home

❯

notes

❯

device category

device category

Jul 24, 20251 min read

device-category-2

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

device-category

  • device functor

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


Graph View

Backlinks

  • device functor
  • effectful category

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID