Weakly Distributive Categories (Cockett, Seely, 1997)
Warning! This paper proves that a distributive category is a weakly distributive category if and only if it is a preorder (Proposition 3.1). The problem resides in the two possible arrows (A+B)×(C+D) → A+(B×C)+D, which are not equal.