 It follows that formula_8 and aforementioned canonical maps are equal for each choice of objects.In particular, if the functor formula_6 has a right adjoint (i.e., if the category is cartesian closed), it necessarily preserves all colimits, and thus any cartesian closed category with finite coproducts (i.e., any bicartesian closed category) is distributive.The category of sets is distributive.