{"id":"arxiv/2603.16375","url":"https://arxiv.org/abs/2603.16375","tags":["cs.LO","math.CT"],"score":0,"title":"Monoidal categories graded by partial commutative monoids","domain":"cs.LO","source":"arxiv","authors":["Matthew Earnshaw","Chad Nester","Mario Román"],"reviews":0,"subject":"cs.LO","summary":"Effectful categories have two classes of morphisms: pure morphisms, which form a monoidal category; and effectful morphisms, which can only be combined monoidally with central morphisms (such as the pure ones), forming a premonoidal category. This suggests seeing morphisms of an effectful category as carrying a grade that combines under the monoidal product in a partially defined manner. We axiomatize this idea with the notion of monoidal category graded by a partial commutative monoid (PCM). Monoidal categories arise as the special case of grading by the singleton PCM, and effectful…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-03-17","reactions":{}}