Linearly distributive coherence in the absence of units
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.03113
curl -X POST /api/v1/records/arxiv/2605.03113/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.03113/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'