{"id":"arxiv/2605.03113","url":"https://arxiv.org/abs/2605.03113","tags":["math.CO","math.CT","math.QA"],"score":0,"title":"Linearly distributive coherence in the absence of units","domain":"math.CO","source":"arxiv","authors":["Max Demirdilek","Christian Reiher","Christoph Schweigert"],"reviews":0,"subject":"math.CO","summary":"Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories carry two tensor products, with structural morphisms given by associators and distributors relating the two tensor products. In several examples, including Grothendieck--Verdier categories, also known as $\\ast$-autonomous categories, these distributors need not be invertible. We give a self-contained proof that linearly distributive categories without…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-04","reactions":{}}