# 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.