linearly distributive category

Last updated Apr 23, 2024

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)

1
2

table without id file.inlinks as Backlinks
where file.name = this.file.name