Reference. Monoidal categories graded by partial commutative monoids [earnshaw-2026-monoidal-categories-graded-by-pcms-talk-mfps]