Linearly distributive coherence in the absence of units

Max Demirdilek, Christian Reiher, Christoph Schweigert

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 pa…