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