{"id":"arxiv/2605.13533","url":"https://arxiv.org/abs/2605.13533","tags":["cs.LO","math.CT"],"score":0,"title":"Monads and Distributive Laws in Substructural Contexts (Extended Version)","domain":"cs.LO","source":"arxiv","authors":["Soichiro Fujii","Yun Chen Tsai","Yoàv Montacute","Ichiro Hasuo"],"reviews":0,"subject":"cs.LO","summary":"We present a categorical theory of monads and distributive laws in substructural contexts. In the study of distributive laws, the roles of (the absence of) structural rules for variable contexts have been recognized; our theory formalizes these substructural situations using Tronin's verbal categories $\\mathbf W$, in a uniform and presentation-independent manner. We introduce the classes of $\\mathbf W$-operadic monads (those defined via the structural rules in $\\mathbf W$) and of $\\mathbf W$-commutative monads (those invariant under the structural rules in $\\mathbf W$). We give a canonical…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-13","reactions":{}}