We investigate constructions and relations of higher arity self-distributive operations and their cohomology. We study the categories of mutually distributive structures both in the binary and ternary settings and their connections through functors. This theory is also investigated in the context of symmetric monoidal categories. Examples from Lie algebras and coalgebras are given. We introduce ternary augmented racks and utilize them to produce examples in Hopf algebras. A diagrammatic interpretation of ternary distributivity using ribbon tangles is given and its relation to low dimensional cohomology is stated. 1 arXiv:1905.00440v2 [math.GT] 25 Jul 2019 2. Preliminary 2.1. Basics of Racks. We review, for the convenience of the reader, some basic definitions of shelves, racks and quandles and give a few examples. This material can be found, for example, in [10, 14, 24].Definition 2.1. A shelf X is a set with a binary operation (a, b) → a * b such that for any a, b, c ∈ X, we have (a * b) * c = (a * c) * (b * c).If, in addition, the maps R y :x → x * y are bijections of X, for all y ∈ X, then (X, * ) is called a rack.A quandle is an idempotent (a * a = a, for all a ∈ X) rack.Example 2.2. The following are typical examples of quandles:• A group G with conjugation as operation:for a, b ∈ M , and is called an Alexander quandle.