Do there exist algebras of more directions of operation than left-right?
A general algebraic object is a set $X$ together with some specified
- relations $R_i\subseteq X^n,i\in I$,
- functions $f_j:X^n\to X,j\in J$ and
- constants $c_k\in X,k\in K$.
As you can see, the functions can be of any arity. Such structures are mostly discussed in abstract setting as in model theory. But there are examples which are used in applications, e.g. planar ternary rings are used in incidence geometry. Another example which uses no functions but a ternary relation is a cyclic order.
Related:
- Why don't we study algebraic objects with more than two operations?
- Is anybody researching "ternary" groups?
If we do this in two dimensions, like you suggest, then we get something that starts looking like a $2$-category (possibly with just one object, i.e. a monoidal category).
A common way to describe "nice" monoidal categories is in terms of diagrams, and these diagrams can then be composed both horizontally, by putting them next to each other (this is the "tensor product" in the category), or vertically, by placing one on top of the other (the "usual composition" in the category). Of course, this has the issue of which objects can be composed, since not all of them need to be composable.
For examples of this, see for example the paper "Soergel Calculus" by Elias and Williamson (this forms the basis of their Annals paper in which they prove the Soergel conjecture).