Mario Román


Search IconIcon to open search

Weakly Distributive Categories (Cockett, Seely, 1997)

Last updated Sep 8, 2023

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.