In a poset, whenever the meets and joins below exist, their universal properties induce a containment $$(A\vee B)\wedge (A\vee C)\geq A\vee(B\wedge C).$$ This is an instance of *co*distributivity. In a lattice distributivity is equivalent to codistributivity, but this requires the above identity to hold for several ordered triples $A,B,C$.

In the categories of groups and of modules, when dealing with sufficiently disjoint subobjects, a codistributive identity holds. Below is the argument for groups (and modules).

**Proposition.** Let $A,B,C\vartriangleleft G$ be normal subgroups such that $B,C$ are disjoint and $A$ is disjoint from $B\vee C$ (in particular $A,B,C$ are disjoint). Then$$(A\vee B)\wedge (A\vee C)= A.$$

*Proof.* Let $g$ be an element of the LHS. Since $A$ is normal, $A\vee B=AB,A\vee C=AC$ where juxtaposition denotes the subset product. Thus $g\in AB\cap AC$. Hence we may write $$g=a_1b=a_2c.$$ From the equality on the right we obtain $$a_1^{-1}a_2=bc^{-1}.$$ In particular, this element belongs to $A$ and $BC$. Since $B$ is normal, $BC=B\vee C$. Thus $$a_1^{-1}a_2=bc^{-1}\in A\wedge (B\vee C).$$ By assumption the RHS is trivial, so $b=c\in B\wedge C$. By assumption $B,C$ are disjoint so $b=c=1_G$. Coming back to the first equation for $g$ we see $g\in A$, proving the $\leq $ direction of the proposition. The $\geq $ is always true.

**Question.** How can I prove the proposition above for a sufficiently nice protomodular category?

**Update.** Some possibly relevant information.

In a finitely complete pointed protomodular category, the poset of normal subobjects is isomorphic to the poset of equivalence relations. Hence we may equivalently deal with the desired identity in the poset (in fact lattice) of equivalence relations.

For this, the following two papers by Bourn seem relevant.

Congruence distributivity in Goursat and Mal'cev categories and A categorical genealogy of the congruence distributive property.

In particular, Theorem 2.1 of the former paper characterizes congruence distributivity in Goursat categories via the preservation of binary infima by the direct image functor associated to every regular epi $f:A\to B$. $$\mathrm{Rel}_{\mathsf{C}}(A)\to \mathrm{Rel}_{\mathsf{C}}(B)$$