duoid graded monoidal category duoidal category References Flexibly Graded Monads and Graded Algebras (McDermott, Uustalu, 2022) Timing via Pinwheel Double Categories (Di Lavore, Román, 2025)
