Implication Details
Claim: If a category is distributive and is thin, then it is codistributive.
Proof: This is equivalent to the classical result that the distributivity law in a lattice can be defined in two ways, see e.g. Birkhoff, Lattice Theory, Ch. IX, Thm. 1.