A linearly distributive category is a representable polycategory. References. Natural Deduction and Coherence for Weakly Distributive Categories (Blute, Cockett, Seely, Trimble) Weakly Distributive Categories (Cockett, Seely, 1997)