References Weakly Distributive Categories (Cockett, Seely, 1997) Tags: linearly distributive category, distributive category.