2 papers
math.CT2026
Cartesian Linearly Distributive Categories: Revisited
Rose Kudzman-Blais, Jean-Simon Pacaud Lemay
Linearly distributive categories (LDC) were introduced by Cockett and Seely to provide alternative categorical semantics for multiplicative linear logic. In contrast to Barr's -…
math.CT2026
Linearly Distributive Fox Theorem
Rose Kudzman-Blais
Linearly distributive categories (LDC), introduced by Cockett and Seely to model multiplicative linear logic, are categories equipped with two monoidal structures that interact via…