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