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)
table without id file.inlinks as Backlinks
where file.name = this.file.name