← back to paper
arxiv: 2605.03113 · 2 revisions
Linearly distributive coherence in the absence of units