Reference. Monoidal categories graded by partial commutative monoids [earnshaw-nester-roman-2026-monoidal-categories-graded]